Anne is big. Anne is young. Charlie is nice. Charlie is white. Charlie is young. Fiona is white. Harry is kind. Big things are nice. If something is nice then it is white. Young, blue things are kind. If something is blue and young then it is kind. All kind things are blue. If Anne is big and Anne is nice then Anne is blue.
Harry is kind.
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4 OR ((triple3) -> rule2))] Charlie is young.[(triple5)] Fiona is white.[(triple6)] Harry is kind.[(triple7)] @1: Anne is nice.[(((triple1) -> rule1))] Harry is blue.[(((triple7) -> rule5))] @2: Anne is blue.[(((triple1 ((triple1) -> rule1)) -> rule6))] Anne is white.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is kind.[(((triple2 ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule6) triple2) -> rule4))]