Bob is blue. Bob is furry. Bob is round. Bob is smart. Bob is white. Dave is furry. Erin is blue. Erin is furry. Erin is green. Erin is round. Erin is white. Harry is smart. All blue things are green. Furry things are blue. If something is round then it is red. Furry, blue things are white. Round things are green. All red things are smart. All smart, green things are round. If something is smart then it is green.
Harry is red.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is furry.[(triple2)] Bob is round.[(triple3 OR ((triple4 ((triple1) -> rule1)) -> rule7) OR ((triple4 ((triple4) -> rule8)) -> rule7) OR ((triple4 ((((triple2) -> rule2)) -> rule1)) -> rule7))] Bob is smart.[(triple4 OR ((((triple3) -> rule3)) -> rule6))] Bob is white.[(triple5 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule2)) -> rule4))] Dave is furry.[(triple6)] Erin is blue.[(triple7 OR ((triple8) -> rule2))] Erin is furry.[(triple8)] Erin is green.[(triple9 OR ((triple10) -> rule5) OR ((triple7) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple10) -> rule3)) -> rule6)) -> rule8))] Erin is round.[(triple10)] Erin is white.[(triple11 OR ((triple8 triple7) -> rule4) OR ((triple8 ((triple8) -> rule2)) -> rule4))] Harry is smart.[(triple12)] @1: Bob is green.[(((triple1) -> rule1) OR ((triple3) -> rule5) OR ((triple4) -> rule8) OR ((((triple2) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6)) -> rule8))] Bob is red.[(((triple3) -> rule3) OR ((((triple4 ((triple1) -> rule1)) -> rule7)) -> rule3) OR ((((triple4 ((triple4) -> rule8)) -> rule7)) -> rule3) OR ((((triple4 ((((triple2) -> rule2)) -> rule1)) -> rule7)) -> rule3))] Dave is blue.[(((triple6) -> rule2))] Erin is red.[(((triple10) -> rule3))] Harry is green.[(((triple12) -> rule8))] @2: Dave is green.[(((((triple6) -> rule2)) -> rule1))] Dave is white.[(((triple6 ((triple6) -> rule2)) -> rule4))] Erin is smart.[(((((triple10) -> rule3)) -> rule6))] Harry is round.[(((triple12 ((triple12) -> rule8)) -> rule7))] @3: Harry is red.[(((((triple12 ((triple12) -> rule8)) -> rule7)) -> rule3))]