Bob is big. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Gary is big. Gary is blue. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is white. If Bob is kind then Bob is round. Quiet, blue things are rough. If something is rough and quiet then it is round. If Bob is rough and Bob is quiet then Bob is big. All kind things are white. Quiet, kind things are big.
Gary is white.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple4 triple3) -> rule4))] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5 OR ((triple2) -> rule5))] Gary is big.[(triple6 OR ((triple9 triple8) -> rule6))] Gary is blue.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((triple9 triple7) -> rule2))] Gary is round.[(triple11 OR ((triple10 triple9) -> rule3) OR ((((triple9 triple7) -> rule2) triple9) -> rule3))] Gary is white.[(triple12 OR ((triple8) -> rule5))] @1: Bob is round.[(((triple2) -> rule1) OR ((triple4 triple3) -> rule3))]