Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is round. Charlie is blue. Charlie is rough. Charlie is round. Charlie is smart. Erin is quiet. Erin is red. Erin is smart. Harry is red. Harry is rough. If something is smart then it is furry. If Bob is furry and Bob is red then Bob is rough. If Bob is rough then Bob is red. All furry, round things are red. If something is furry then it is blue. Rough things are quiet. Rough things are blue. Blue, red things are rough.
Charlie is not rough.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule7) OR ((((triple2 triple4) -> rule2)) -> rule7) OR ((((triple2 ((triple2 triple6) -> rule4)) -> rule2)) -> rule7))] Bob is furry.[(triple2)] Bob is quiet.[(triple3 OR ((triple5) -> rule6) OR ((((triple1 triple4) -> rule8)) -> rule6) OR ((((triple2 triple4) -> rule2)) -> rule6) OR ((((triple1 ((triple2 triple6) -> rule4)) -> rule8)) -> rule6) OR ((((triple2 ((triple2 triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple2) -> rule5) ((triple2 triple6) -> rule4)) -> rule8)) -> rule6))] Bob is red.[(triple4 OR ((triple5) -> rule3) OR ((triple2 triple6) -> rule4))] Bob is rough.[(triple5 OR ((triple1 triple4) -> rule8) OR ((triple2 triple4) -> rule2) OR ((triple1 ((triple2 triple6) -> rule4)) -> rule8) OR ((triple2 ((triple2 triple6) -> rule4)) -> rule2) OR ((((triple2) -> rule5) triple4) -> rule8) OR ((((triple2) -> rule5) ((triple2 triple6) -> rule4)) -> rule8))] Bob is round.[(triple6)] Charlie is blue.[(triple7 OR ((triple8) -> rule7) OR ((((triple10) -> rule1)) -> rule5))] Charlie is rough.[(triple8 OR ((triple7 ((((triple10) -> rule1) triple9) -> rule4)) -> rule8) OR ((((((triple10) -> rule1)) -> rule5) ((((triple10) -> rule1) triple9) -> rule4)) -> rule8))] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Erin is quiet.[(triple11 OR ((((((((triple13) -> rule1)) -> rule5) triple12) -> rule8)) -> rule6))] Erin is red.[(triple12)] Erin is smart.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Charlie is furry.[(((triple10) -> rule1))] Charlie is quiet.[(((triple8) -> rule6) OR ((((triple7 ((((triple10) -> rule1) triple9) -> rule4)) -> rule8)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule5) ((((triple10) -> rule1) triple9) -> rule4)) -> rule8)) -> rule6))] Erin is furry.[(((triple13) -> rule1))] Harry is blue.[(((triple15) -> rule7))] Harry is quiet.[(((triple15) -> rule6))] @2: Charlie is red.[(((((triple10) -> rule1) triple9) -> rule4))] Erin is blue.[(((((triple13) -> rule1)) -> rule5))] @3: Erin is rough.[(((((((triple13) -> rule1)) -> rule5) triple12) -> rule8))]