Anne is big. Anne is kind. Anne is nice. Anne is round. Dave is big. Dave is nice. Dave is rough. Dave is young. Harry is round. Harry is smart. If someone is round and young then they are rough. All nice people are young. Rough people are smart.
Dave is not smart.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8 OR ((triple6) -> rule2))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Anne is young.[(((triple3) -> rule2))] Dave is smart.[(((triple7) -> rule3))] @2: Anne is rough.[(((triple4 ((triple3) -> rule2)) -> rule1))] @3: Anne is smart.[(((((triple4 ((triple3) -> rule2)) -> rule1)) -> rule3))]