Fiona is cold. Fiona is red. Fiona is rough. Gary is quiet. Gary is red. Gary is rough. Gary is not round. Gary is white. Harry is blue. Harry is cold. Harry is rough. Harry is not round. If someone is blue then they are not quiet. If someone is cold then they are blue.
Harry is quiet.
@0: Fiona is cold.[(triple1)] Fiona is red.[(triple2)] Fiona is rough.[(triple3)] Gary is not round.[(triple7)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple8)] Harry is blue.[(triple9 OR ((triple10) -> rule2))] Harry is cold.[(triple10)] Harry is not round.[(triple12)] Harry is rough.[(triple11)] @1: Fiona is blue.[(((triple1) -> rule2))] Harry is not quiet.[(((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] @2: Fiona is not quiet.[(((((triple1) -> rule2)) -> rule1))]