Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is round. Gary is not big. Gary is blue. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Gary is round. If something is big then it is rough. If Fiona is big and Fiona is not green then Fiona is quiet. If Fiona is green then Fiona is round. If Fiona is quiet and Fiona is cold then Fiona is blue. If Fiona is round then Fiona is cold. Round things are blue.
Fiona is not blue.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple5) -> rule6) OR ((((triple4) -> rule3)) -> rule6))] Fiona is cold.[(triple3 OR ((triple5) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Fiona is green.[(triple4)] Fiona is round.[(triple5 OR ((triple4) -> rule3))] Gary is blue.[(triple7 OR ((triple12) -> rule6))] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is not big.[(triple6)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] @1: Fiona is rough.[(((triple1) -> rule1))]