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