Anne is cold. Anne is quiet. Anne is smart. Charlie is big. Charlie is quiet. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Harry is big. All round things are cold. All rough, smart things are green. All big, smart things are rough. Quiet things are big. All rough things are quiet. If Harry is smart and Harry is cold then Harry is rough.
Charlie is round.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple5) -> rule4))] Charlie is quiet.[(triple5)] Gary is cold.[(triple6 OR ((triple10) -> rule1))] Gary is green.[(triple7 OR ((triple9 triple11) -> rule2) OR ((((((triple8) -> rule4) triple11) -> rule3) triple11) -> rule2))] Gary is quiet.[(triple8 OR ((triple9) -> rule5))] Gary is rough.[(triple9 OR ((((triple8) -> rule4) triple11) -> rule3))] Gary is round.[(triple10)] Gary is smart.[(triple11)] Harry is big.[(triple12)] @1: Anne is big.[(((triple2) -> rule4))] Gary is big.[(((triple8) -> rule4) OR ((((triple9) -> rule5)) -> rule4))] @2: Anne is rough.[(((((triple2) -> rule4) triple3) -> rule3))] @3: Anne is green.[(((((((triple2) -> rule4) triple3) -> rule3) triple3) -> rule2))]