Anne is not big. Dave is big. Dave is not nice. Dave is rough. Dave is white. Gary is nice. Gary is not rough. Gary is white. Harry is furry. Harry is not rough. If someone is furry then they are big. If someone is big then they are not smart. If someone is furry then they are nice.
Anne is young.
@0: Anne is not big.[(triple1)] Dave is big.[(triple2)] Dave is not nice.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Gary is nice.[(triple6)] Gary is not rough.[(triple7)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is not rough.[(triple10)] @1: Dave is not smart.[(((triple2) -> rule2))] Harry is big.[(((triple9) -> rule1))] Harry is nice.[(((triple9) -> rule3))] @2: Harry is not smart.[(((((triple9) -> rule1)) -> rule2))]