Bob is cold. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. White things are smart. All round, red things are smart. Quiet, round things are cold. If something is smart and quiet then it is round. If Bob is quiet then Bob is round. Rough, white things are red.
Bob is not quiet.
@0: Bob is cold.[(triple1 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((triple2 ((triple6 triple2) -> rule4)) -> rule3) OR ((triple2 ((((triple7) -> rule1) triple2) -> rule4)) -> rule3))] Bob is quiet.[(triple2)] Bob is red.[(triple3 OR ((triple4 triple7) -> rule6))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple2) -> rule5) OR ((triple6 triple2) -> rule4) OR ((((triple7) -> rule1) triple2) -> rule4))] Bob is smart.[(triple6 OR ((triple7) -> rule1) OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple4 triple7) -> rule6)) -> rule2) OR ((((triple2) -> rule5) triple3) -> rule2) OR ((((triple2) -> rule5) ((triple4 triple7) -> rule6)) -> rule2))] Bob is white.[(triple7)]