Erin is big. Erin is blue. Erin is cold. Erin is quiet. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is white. Gary is big. Gary is blue. Harry is big. Harry is blue. Harry is rough. All quiet things are big. If something is big and quiet then it is rough.
Fiona is not quiet.
@0: Erin is big.[(triple1 OR ((triple4) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Fiona is big.[(triple5 OR ((triple8) -> rule1))] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9 OR ((triple5 triple8) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule2))] Fiona is white.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Harry is big.[(triple13)] Harry is blue.[(triple14)] Harry is rough.[(triple15)] @1: Erin is rough.[(((triple1 triple4) -> rule2) OR ((((triple4) -> rule1) triple4) -> rule2))]