Anne is big. Anne is nice. Anne is round. Anne is smart. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is round. Erin is smart. Harry is big. Harry is blue. All young things are kind. If Anne is blue and Anne is round then Anne is young. If something is nice and smart then it is blue.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple8 triple10) -> rule3))] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] @1: Anne is blue.[(((triple2 triple4) -> rule3))] @2: Anne is young.[(((((triple2 triple4) -> rule3) triple3) -> rule2))] @3: Anne is kind.[(((((((triple2 triple4) -> rule3) triple3) -> rule2)) -> rule1))]