Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is young. Gary is blue. Gary is furry. Gary is quiet. All red, young things are blue. If Gary is quiet then Gary is red. Blue, red things are furry.
Gary is young.
@0: Dave is blue.[(triple1 OR ((triple5 triple7) -> rule1))] Dave is furry.[(triple2 OR ((triple1 triple5) -> rule3) OR ((((triple5 triple7) -> rule1) triple5) -> rule3))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple8 ((triple10) -> rule2)) -> rule3))] Gary is quiet.[(triple10)] @1: Gary is red.[(((triple10) -> rule2))]