Charlie is blue. Charlie is not round. Erin is nice. Erin is round. Fiona is blue. Fiona is not cold. Fiona is nice. Fiona is not red. Fiona is rough. Fiona is round. Fiona is young. Harry is blue. Harry is not nice. Harry is rough. Harry is young. Cold people are not round. If Fiona is not young then Fiona is not red. Cold, round people are not blue. If someone is blue then they are not cold. Cold people are not red. If someone is cold and not round then they are rough.
Erin is not nice.
@0: Charlie is blue.[(triple1)] Charlie is not round.[(triple2)] Erin is nice.[(triple3)] Erin is round.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple7)] Fiona is not cold.[(triple6 OR ((triple5) -> rule4))] Fiona is not red.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Fiona is young.[(triple11)] Harry is blue.[(triple12)] Harry is not nice.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Charlie is not cold.[(((triple1) -> rule4))] Harry is not cold.[(((triple12) -> rule4))]