Bob is big. Bob is furry. Bob is quiet. Dave is big. Dave is green. Dave is quiet. Dave is smart. Dave is young. Harry is furry. Harry is smart. If someone is young and smart then they are nice. If someone is big and quiet then they are young. All quiet people are furry.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule3))] Bob is quiet.[(triple3)] Dave is big.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] Dave is young.[(triple8 OR ((triple4 triple6) -> rule2))] Harry is furry.[(triple9)] Harry is smart.[(triple10)] @1: Bob is young.[(((triple1 triple3) -> rule2))] Dave is furry.[(((triple6) -> rule3))] Dave is nice.[(((triple8 triple7) -> rule1) OR ((((triple4 triple6) -> rule2) triple7) -> rule1))]