Anne is big. Anne is round. Anne is smart. Bob is blue. Gary is big. Gary is cold. Gary is green. Gary is quiet. Gary is round. Gary is smart. If something is round and big then it is green. If something is big then it is quiet. If something is big then it is green.
Gary is not big.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7 OR ((triple5) -> rule3) OR ((triple9 triple5) -> rule1))] Gary is quiet.[(triple8 OR ((triple5) -> rule2))] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Anne is green.[(((triple1) -> rule3) OR ((triple2 triple1) -> rule1))] Anne is quiet.[(((triple1) -> rule2))]