Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is nice. If Gary is big and Gary is smart then Gary is cold. All blue, big people are cold. All furry, smart people are cold. Nice, quiet people are cold. Furry people are blue. If someone is blue then they are smart.
Dave is furry.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple4) -> rule4))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5 OR ((triple1) -> rule6))] Gary is big.[(triple6)] Gary is blue.[(triple7 OR ((triple9) -> rule5))] Gary is cold.[(triple8 OR ((triple7 triple6) -> rule2) OR ((triple6 ((triple7) -> rule6)) -> rule1) OR ((triple9 ((triple7) -> rule6)) -> rule3) OR ((((triple9) -> rule5) triple6) -> rule2) OR ((triple6 ((((triple9) -> rule5)) -> rule6)) -> rule1) OR ((triple9 ((((triple9) -> rule5)) -> rule6)) -> rule3))] Gary is furry.[(triple9)] Gary is nice.[(triple10)] @1: Gary is smart.[(((triple7) -> rule6) OR ((((triple9) -> rule5)) -> rule6))]