Charlie is cold. Charlie is not red. Charlie is not round. Fiona is not big. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is red. Harry is not blue. Harry is red. Harry is rough. Blue things are cold. Red, young things are not cold. If something is round then it is cold. Rough things are round. If Fiona is rough then Fiona is blue. If Fiona is not rough then Fiona is not cold.
Fiona is not big.
@0: Charlie is cold.[(triple1)] Charlie is not red.[(triple2)] Charlie is not round.[(triple3)] Fiona is not big.[(triple4)] Fiona is round.[(triple5)] Fiona is young.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is red.[(triple9)] Harry is not blue.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Fiona is cold.[(((triple5) -> rule3))] Gary is cold.[(((triple8) -> rule1))] Harry is round.[(((triple12) -> rule4))] @2: Harry is cold.[(((((triple12) -> rule4)) -> rule3))]