Anne is furry. Anne is round. Anne is white. Dave is smart. Erin is kind. Erin is white. Harry is big. Harry is kind. Harry is rough. Harry is smart. All smart, kind things are rough. Smart things are kind.
Harry is not rough.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is smart.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Harry is big.[(triple7)] Harry is kind.[(triple8 OR ((triple10) -> rule2))] Harry is rough.[(triple9 OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple10) -> rule2)) -> rule1))] Harry is smart.[(triple10)] @1: Dave is kind.[(((triple4) -> rule2))] @2: Dave is rough.[(((triple4 ((triple4) -> rule2)) -> rule1))]