Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is young. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is young. Gary is nice. Gary is red. Gary is round. Gary is young. All red things are smart. If something is smart then it is cold. All round, cold things are furry.
Bob is cold.
@0: Bob is furry.[(triple1 OR ((triple4 ((triple5) -> rule2)) -> rule3) OR ((triple4 ((((triple3) -> rule1)) -> rule2)) -> rule3))] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple3) -> rule1))] Bob is young.[(triple6)] Dave is cold.[(triple7 OR ((((triple10) -> rule1)) -> rule2))] Dave is furry.[(triple8 OR ((triple11 triple7) -> rule3) OR ((triple11 ((((triple10) -> rule1)) -> rule2)) -> rule3))] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Bob is cold.[(((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Dave is smart.[(((triple10) -> rule1))] Gary is smart.[(((triple14) -> rule1))] @2: Gary is cold.[(((((triple14) -> rule1)) -> rule2))] @3: Gary is furry.[(((triple15 ((((triple14) -> rule1)) -> rule2)) -> rule3))]