Bob is blue. Bob is kind. Bob is nice. Bob is rough. Erin is green. Erin is nice. Fiona is cold. Fiona is furry. Harry is furry. Harry is rough. Nice, cold people are rough. All furry people are blue. If someone is kind and nice then they are furry. If someone is blue and green then they are kind. Nice people are cold. All rough, green people are furry. If Harry is furry and Harry is cold then Harry is blue. Kind people are cold.
Harry is not blue.
@0: Bob is blue.[(triple1 OR ((((triple2 triple3) -> rule3)) -> rule2))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((triple3 ((triple2) -> rule8)) -> rule1) OR ((triple3 ((triple3) -> rule5)) -> rule1))] Erin is green.[(triple5)] Erin is nice.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)] @1: Bob is cold.[(((triple2) -> rule8) OR ((triple3) -> rule5))] Bob is furry.[(((triple2 triple3) -> rule3))] Erin is cold.[(((triple6) -> rule5))] Fiona is blue.[(((triple8) -> rule2))] Harry is blue.[(((triple9) -> rule2))] @2: Erin is rough.[(((triple6 ((triple6) -> rule5)) -> rule1))] @3: Erin is furry.[(((((triple6 ((triple6) -> rule5)) -> rule1) triple5) -> rule6))] @4: Erin is blue.[(((((((triple6 ((triple6) -> rule5)) -> rule1) triple5) -> rule6)) -> rule2))] @5: Erin is kind.[(((((((((triple6 ((triple6) -> rule5)) -> rule1) triple5) -> rule6)) -> rule2) triple5) -> rule4))]