Anne is round. Bob is big. Charlie is big. Charlie is red. Charlie is round. Charlie is smart. Gary is red. Smart things are big. If something is red then it is green. All smart things are big. Red things are round. All red things are round. All round things are white. If something is red then it is rough. If Gary is round and Gary is smart then Gary is big.
Bob is not round.
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Charlie is big.[(triple3 OR ((triple6) -> rule1) OR ((triple6) -> rule3))] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule4) OR ((triple4) -> rule5))] Charlie is smart.[(triple6)] Gary is red.[(triple7)] @1: Anne is white.[(((triple1) -> rule6))] Charlie is green.[(((triple4) -> rule2))] Charlie is rough.[(((triple4) -> rule7))] Charlie is white.[(((triple5) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] Gary is green.[(((triple7) -> rule2))] Gary is rough.[(((triple7) -> rule7))] Gary is round.[(((triple7) -> rule4) OR ((triple7) -> rule5))] @2: Gary is white.[(((((triple7) -> rule4)) -> rule6) OR ((((triple7) -> rule5)) -> rule6))]