Fiona is nice. Fiona is red. Fiona is young. Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is young. If someone is kind then they are green. If someone is round and red then they are kind. All blue people are young. Nice people are round. Kind people are red. If Fiona is blue and Fiona is round then Fiona is nice.
Harry is not green.
@0: Fiona is nice.[(triple1)] Fiona is red.[(triple2)] Fiona is young.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5 OR ((triple6) -> rule1) OR ((((triple9 triple8) -> rule2)) -> rule1) OR ((((((triple7) -> rule4) triple8) -> rule2)) -> rule1))] Harry is kind.[(triple6 OR ((triple9 triple8) -> rule2) OR ((((triple7) -> rule4) triple8) -> rule2))] Harry is nice.[(triple7)] Harry is red.[(triple8 OR ((triple6) -> rule5))] Harry is round.[(triple9 OR ((triple7) -> rule4))] Harry is young.[(triple10 OR ((triple4) -> rule3))] @1: Fiona is round.[(((triple1) -> rule4))] @2: Fiona is kind.[(((((triple1) -> rule4) triple2) -> rule2))] @3: Fiona is green.[(((((((triple1) -> rule4) triple2) -> rule2)) -> rule1))]