Erin is red. Erin is round. Erin is white. Fiona is cold. Fiona is white. Gary is cold. Gary is red. Gary is white. Harry is big. Harry is young. Young, big things are rough. All round things are young. All rough, round things are white. Rough, white things are red. If something is rough then it is big. Rough, cold things are young.
Fiona is not white.
@0: Erin is red.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] Fiona is cold.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is red.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9)] Harry is young.[(triple10)] @1: Erin is young.[(((triple2) -> rule2))] Harry is rough.[(((triple10 triple9) -> rule1))]