Bob is big. Bob is rough. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is young. Gary is smart. Gary is young. Harry is furry. Harry is smart. Harry is young. If something is big then it is furry. If something is rough and smart then it is furry. If something is quiet then it is not rough. If something is quiet and not big then it is not smart. All big things are smart. Furry things are young. All quiet things are young. If Bob is rough then Bob is nice.
Harry is big.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4 OR ((triple3) -> rule1))] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule6) OR ((triple6) -> rule7) OR ((((triple3) -> rule1)) -> rule6))] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is furry.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((triple10) -> rule6))] @1: Bob is furry.[(((triple1) -> rule1) OR ((triple2 ((triple1) -> rule5)) -> rule2))] Bob is nice.[(((triple2) -> rule8))] Bob is smart.[(((triple1) -> rule5))] Dave is not rough.[(((triple6) -> rule3))] Dave is smart.[(((triple3) -> rule5))] @2: Bob is young.[(((((triple1) -> rule1)) -> rule6) OR ((((triple2 ((triple1) -> rule5)) -> rule2)) -> rule6))]