Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is white. Fiona is big. Fiona is blue. Fiona is green. Fiona is white. Gary is blue. If someone is white and rough then they are blue. Quiet people are blue. If someone is blue and white then they are rough. If Gary is rough then Gary is big. Blue, big people are cold. All quiet, rough people are blue.
Gary is quiet.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((((triple4) -> rule2) triple1) -> rule5))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is white.[(triple9)] Gary is blue.[(triple10)] @1: Charlie is blue.[(((triple4) -> rule2))] Fiona is cold.[(((triple7 triple6) -> rule5))] Fiona is rough.[(((triple7 triple9) -> rule3))] @2: Charlie is rough.[(((((triple4) -> rule2) triple5) -> rule3))]