Anne is big. Anne is not blue. Anne is nice. Charlie is big. Charlie is blue. Charlie is not cold. Charlie is green. Gary is big. Gary is not blue. Gary is not rough. Gary is round. Harry is cold. Harry is green. Harry is nice. Harry is round. All nice, big people are round. If Gary is cold then Gary is not rough. If someone is rough and not blue then they are big. Round people are big. If someone is round and not nice then they are rough. If someone is blue and not cold then they are green. Big, rough people are green. If someone is round and not big then they are not green.
Gary is not rough.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not blue.[(triple2)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple7 OR ((triple5 triple6) -> rule6))] Charlie is not cold.[(triple6)] Gary is big.[(triple8 OR ((triple11) -> rule4))] Gary is not blue.[(triple9)] Gary is not rough.[(triple10)] Gary is round.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)] @1: Anne is round.[(((triple3 triple1) -> rule1))] Harry is big.[(((triple15) -> rule4))]