Fiona is cold. Fiona is rough. Gary is cold. Gary is green. Harry is quiet. Harry is rough. Harry is round. If Gary is quiet then Gary is big. If Gary is furry and Gary is rough then Gary is green. Quiet things are cold. If Harry is rough then Harry is cold. Furry, rough things are cold. If Harry is big and Harry is quiet then Harry is rough. All cold things are quiet. Rough, green things are big.
Gary is not big.
@0: Fiona is cold.[(triple1)] Fiona is rough.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4)] Harry is quiet.[(triple5 OR ((((triple6) -> rule4)) -> rule7))] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Fiona is quiet.[(((triple1) -> rule7))] Gary is quiet.[(((triple3) -> rule7))] Harry is cold.[(((triple5) -> rule3) OR ((triple6) -> rule4))] @2: Gary is big.[(((((triple3) -> rule7)) -> rule1))]