Bob is big. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is young. Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. If Bob is red then Bob is furry. If someone is big and red then they are quiet. Quiet people are furry. Nice, smart people are young. If someone is nice then they are furry. Big people are quiet.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule3) OR ((triple5) -> rule1) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple1 triple5) -> rule2)) -> rule3))] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple1) -> rule6) OR ((triple1 triple5) -> rule2))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple3 triple6) -> rule4))] Charlie is big.[(triple8)] Charlie is furry.[(triple9 OR ((triple10) -> rule5) OR ((triple11) -> rule3) OR ((((triple8) -> rule6)) -> rule3) OR ((((triple8 triple12) -> rule2)) -> rule3))] Charlie is nice.[(triple10)] Charlie is quiet.[(triple11 OR ((triple8) -> rule6) OR ((triple8 triple12) -> rule2))] Charlie is red.[(triple12)] Charlie is smart.[(triple13)] Charlie is young.[(triple14 OR ((triple10 triple13) -> rule4))]