Fiona is big. Fiona is not kind. Fiona is not red. Fiona is young. Harry is not big. Harry is blue. Harry is nice. Harry is red. Harry is not smart. Harry is young. If something is young then it is nice. If something is kind then it is nice. Nice things are blue. Smart, kind things are blue. If Fiona is kind and Fiona is smart then Fiona is red. If Fiona is blue and Fiona is not red then Fiona is big.
Fiona is not young.
@0: Fiona is big.[(triple1 OR ((((((triple4) -> rule1)) -> rule3) triple3) -> rule6))] Fiona is not kind.[(triple2)] Fiona is not red.[(triple3)] Fiona is young.[(triple4)] Harry is blue.[(triple6 OR ((triple7) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Harry is nice.[(triple7 OR ((triple10) -> rule1))] Harry is not big.[(triple5)] Harry is not smart.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple10)] @1: Fiona is nice.[(((triple4) -> rule1))] @2: Fiona is blue.[(((((triple4) -> rule1)) -> rule3))]