Erin is kind. Erin is round. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Harry is green. Harry is kind. Harry is young. If someone is round and red then they are nice. Green, young people are round.
Harry is not nice.
@0: Erin is kind.[(triple1)] Erin is round.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((triple8 triple6) -> rule1) OR ((((triple3 triple9) -> rule2) triple6) -> rule1))] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8 OR ((triple3 triple9) -> rule2))] Fiona is young.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Harry is round.[(((triple10 triple12) -> rule2))]