Charlie is nice. Fiona is smart. Harry is kind. All smart, kind things are blue. All smart, nice things are blue. Nice, smart things are kind. If something is smart and not young then it is nice. All blue things are nice. All nice things are smart. If something is kind and not nice then it is not red. All blue, smart things are not red.
Fiona is not young.
@0: Charlie is nice.[(triple1)] Fiona is smart.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule6) triple1) -> rule2) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule3)) -> rule1))] Charlie is kind.[(((triple1 ((triple1) -> rule6)) -> rule3))] @3: Charlie is not red.[(((((((triple1) -> rule6) triple1) -> rule2) ((triple1) -> rule6)) -> rule8) OR ((((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule3)) -> rule1) ((triple1) -> rule6)) -> rule8))]