Anne is big. Anne is blue. Anne is round. Anne is young. Fiona is big. Fiona is kind. Fiona is round. Fiona is white. Fiona is young. Harry is big. Harry is red. Harry is young. If Harry is big then Harry is kind. Blue, young things are kind. Young things are round. Blue things are round. If something is white then it is big. If Harry is young and Harry is white then Harry is blue.
Harry is white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule4) OR ((triple4) -> rule3))] Anne is young.[(triple4)] Fiona is big.[(triple5 OR ((triple8) -> rule5))] Fiona is kind.[(triple6)] Fiona is round.[(triple7 OR ((triple9) -> rule3))] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Harry is big.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Anne is kind.[(((triple2 triple4) -> rule2))] Harry is kind.[(((triple10) -> rule1))] Harry is round.[(((triple12) -> rule3))]