Anne is quiet. Anne is round. Anne is smart. Fiona is blue. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. Harry is blue. Harry is kind. Harry is quiet. Harry is smart. If someone is quiet and young then they are blue. Young people are smart. If someone is round and quiet then they are kind. If Anne is round then Anne is nice. All nice people are young. All quiet, young people are kind.
Anne is nice.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3 OR ((((((triple2) -> rule4)) -> rule5)) -> rule2))] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple8) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] Fiona is young.[(triple8 OR ((triple5) -> rule5))] Harry is blue.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Anne is kind.[(((triple2 triple1) -> rule3) OR ((triple1 ((((triple2) -> rule4)) -> rule5)) -> rule6))] Anne is nice.[(((triple2) -> rule4))] @2: Anne is young.[(((((triple2) -> rule4)) -> rule5))] @3: Anne is blue.[(((triple1 ((((triple2) -> rule4)) -> rule5)) -> rule1))]