Bob is cold. Bob is nice. Bob is smart. Bob is white. Bob is young. Dave is round. Dave is young. Gary is cold. Gary is red. Gary is smart. If someone is white then they are smart. All smart people are nice. Young, nice people are smart. All cold, white people are nice. All young, cold people are red. If someone is smart then they are white. Cold, white people are smart. If Dave is cold then Dave is round.
Dave is round.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule2) OR ((triple1 triple4) -> rule4) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple1 triple4) -> rule7)) -> rule2) OR ((triple1 ((triple3) -> rule6)) -> rule4))] Bob is smart.[(triple3 OR ((triple4) -> rule1) OR ((triple1 triple4) -> rule7) OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple1 triple4) -> rule4)) -> rule3))] Bob is white.[(triple4 OR ((triple3) -> rule6) OR ((((triple5 triple2) -> rule3)) -> rule6))] Bob is young.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)] @1: Bob is red.[(((triple5 triple1) -> rule5))] Gary is nice.[(((triple10) -> rule2) OR ((triple8 ((triple10) -> rule6)) -> rule4))] Gary is white.[(((triple10) -> rule6))]