Charlie is blue. Charlie is furry. Charlie is red. Charlie is rough. Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is smart. Erin is cold. Erin is green. Erin is red. Harry is blue. Harry is green. Harry is rough. Smart, green people are red. If someone is furry then they are blue. If someone is rough and blue then they are cold. All cold, blue people are red. If Harry is blue then Harry is cold. All red people are green.
Harry is furry.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule2))] Charlie is furry.[(triple2)] Charlie is red.[(triple3 OR ((((triple4 triple1) -> rule3) triple1) -> rule4) OR ((((triple4 triple1) -> rule3) ((triple2) -> rule2)) -> rule4) OR ((((triple4 ((triple2) -> rule2)) -> rule3) triple1) -> rule4) OR ((((triple4 ((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule4))] Charlie is rough.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7 OR ((triple8) -> rule6) OR ((((triple6 triple5) -> rule4)) -> rule6))] Dave is red.[(triple8 OR ((triple6 triple5) -> rule4) OR ((triple9 triple7) -> rule1))] Dave is smart.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11 OR ((triple12) -> rule6))] Erin is red.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14 OR ((((((triple13) -> rule5) triple13) -> rule4)) -> rule6) OR ((((((triple15 triple13) -> rule3) triple13) -> rule4)) -> rule6))] Harry is rough.[(triple15)] @1: Charlie is cold.[(((triple4 triple1) -> rule3) OR ((triple4 ((triple2) -> rule2)) -> rule3))] Charlie is green.[(((triple3) -> rule6) OR ((((((triple4 triple1) -> rule3) triple1) -> rule4)) -> rule6) OR ((((((triple4 triple1) -> rule3) ((triple2) -> rule2)) -> rule4)) -> rule6) OR ((((((triple4 ((triple2) -> rule2)) -> rule3) triple1) -> rule4)) -> rule6) OR ((((((triple4 ((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule4)) -> rule6))] Harry is cold.[(((triple13) -> rule5) OR ((triple15 triple13) -> rule3))] @2: Harry is red.[(((((triple13) -> rule5) triple13) -> rule4) OR ((((triple15 triple13) -> rule3) triple13) -> rule4))]