Bob is big. Bob is rough. Bob is smart. Bob is young. Charlie is big. Charlie is kind. Charlie is nice. Charlie is smart. Dave is rough. Gary is kind. All kind things are nice. If something is rough and smart then it is big. If Gary is furry and Gary is kind then Gary is big. If Bob is big then Bob is furry. Rough things are kind. Nice, smart things are kind.
Bob is not young.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule2))] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6 OR ((triple7 triple8) -> rule6))] Charlie is nice.[(triple7 OR ((triple6) -> rule1))] Charlie is smart.[(triple8)] Dave is rough.[(triple9)] Gary is kind.[(triple10)] @1: Bob is furry.[(((triple1) -> rule4) OR ((((triple2 triple3) -> rule2)) -> rule4))] Bob is kind.[(((triple2) -> rule5))] Dave is kind.[(((triple9) -> rule5))] Gary is nice.[(((triple10) -> rule1))] @2: Bob is nice.[(((((triple2) -> rule5)) -> rule1))] Dave is nice.[(((((triple9) -> rule5)) -> rule1))]