Bob is big. Bob is green. Bob is quiet. Gary is big. Harry is big. Harry is blue. Harry is quiet. If Harry is blue and Harry is smart then Harry is red. Red things are smart. Furry things are quiet. If something is big then it is furry. If something is quiet then it is furry. Quiet, furry things are red. All big, smart things are red. Quiet things are smart.
Gary is blue.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3 OR ((((triple1) -> rule4)) -> rule3))] Gary is big.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is quiet.[(triple7 OR ((((triple5) -> rule4)) -> rule3))] @1: Bob is furry.[(((triple1) -> rule4) OR ((triple3) -> rule5))] Bob is smart.[(((triple3) -> rule8) OR ((((((triple1) -> rule4)) -> rule3)) -> rule8) OR ((((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple3 ((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule3) ((triple3) -> rule5)) -> rule6)) -> rule2))] Gary is furry.[(((triple4) -> rule4))] Harry is furry.[(((triple5) -> rule4) OR ((triple7) -> rule5))] Harry is smart.[(((triple7) -> rule8) OR ((((((triple5) -> rule4)) -> rule3)) -> rule8) OR ((((triple7 ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple7 ((triple7) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule4)) -> rule3) ((triple7) -> rule5)) -> rule6)) -> rule2))] @2: Bob is red.[(((triple1 ((triple3) -> rule8)) -> rule7) OR ((triple3 ((triple1) -> rule4)) -> rule6) OR ((triple3 ((triple3) -> rule5)) -> rule6) OR ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4)) -> rule3) ((triple3) -> rule5)) -> rule6) OR ((triple1 ((((((triple1) -> rule4)) -> rule3)) -> rule8)) -> rule7))] Gary is quiet.[(((((triple4) -> rule4)) -> rule3))] Harry is red.[(((triple5 ((triple7) -> rule8)) -> rule7) OR ((triple6 ((triple7) -> rule8)) -> rule1) OR ((triple7 ((triple5) -> rule4)) -> rule6) OR ((triple7 ((triple7) -> rule5)) -> rule6) OR ((((((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule6) OR ((((((triple5) -> rule4)) -> rule3) ((triple7) -> rule5)) -> rule6) OR ((triple5 ((((((triple5) -> rule4)) -> rule3)) -> rule8)) -> rule7) OR ((triple6 ((((((triple5) -> rule4)) -> rule3)) -> rule8)) -> rule1))] @3: Gary is red.[(((((((triple4) -> rule4)) -> rule3) ((triple4) -> rule4)) -> rule6) OR ((triple4 ((((((triple4) -> rule4)) -> rule3)) -> rule8)) -> rule7))] Gary is smart.[(((((((triple4) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule3) ((triple4) -> rule4)) -> rule6)) -> rule2))]