Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is smart. Bob is not furry. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Dave is not young. Big things are kind. All furry, kind things are not young.
Bob is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule1))] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Bob is kind.[(triple7)] Bob is nice.[(triple8)] Bob is not furry.[(triple6)] Bob is quiet.[(triple9)] Bob is smart.[(triple10)] Bob is young.[(triple11)] Dave is furry.[(triple12)] Dave is kind.[(triple13)] Dave is not young.[(triple16 OR ((triple12 triple13) -> rule2))] Dave is quiet.[(triple14)] Dave is smart.[(triple15)] @1: Anne is not young.[(((triple2 triple3) -> rule2) OR ((triple2 ((triple1) -> rule1)) -> rule2))]