Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. Nice, green people are white. All rough, nice people are cold.
Harry is not round.
@0: Fiona is cold.[(triple1 OR ((triple5 triple3) -> rule2))] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7 OR ((triple3 triple2) -> rule1))] Harry is cold.[(triple8 OR ((triple12 triple10) -> rule2))] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple10 triple9) -> rule1))]