Bob is big. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is white. Gary is quiet. All white, green things are round. If something is quiet and red then it is cold. Round, red things are white. If Bob is white and Bob is cold then Bob is big. If Gary is red then Gary is round. Round things are white.
Gary is not round.
@0: Bob is big.[(triple1 OR ((triple6 triple2) -> rule4) OR ((triple6 ((triple4 triple5) -> rule2)) -> rule4))] Bob is cold.[(triple2 OR ((triple4 triple5) -> rule2))] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is round.[(((triple6 triple3) -> rule1))]