Bob is big. Bob is cold. Bob is furry. Bob is quiet. Bob is round. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is white. Gary is big. Gary is furry. Gary is quiet. Gary is rough. Gary is round. If Charlie is cold and Charlie is rough then Charlie is quiet. If someone is cold and quiet then they are white. Quiet, round people are white. If Gary is big then Gary is cold. If Charlie is round and Charlie is quiet then Charlie is furry. If Bob is furry then Bob is white.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is quiet.[(triple8 OR ((triple6 triple9) -> rule1))] Charlie is rough.[(triple9)] Charlie is white.[(triple10 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple6 triple9) -> rule1)) -> rule2))] Gary is big.[(triple11)] Gary is furry.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] @1: Bob is white.[(((triple3) -> rule6) OR ((triple2 triple4) -> rule2) OR ((triple4 triple5) -> rule3))] Gary is cold.[(((triple11) -> rule4))] Gary is white.[(((triple13 triple15) -> rule3) OR ((((triple11) -> rule4) triple13) -> rule2))]