Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is round. Bob is smart. Bob is young. Dave is big. Dave is furry. Dave is round. Dave is smart. Gary is furry. Gary is kind. Gary is smart. Gary is young. Round, smart things are furry. Round, kind things are furry. Kind things are furry. If something is smart and big then it is red. If Bob is round then Bob is kind. If something is young and red then it is big. All big things are furry. If something is red and kind then it is smart.
Gary is not big.
@0: Bob is big.[(triple1 OR ((triple7 triple4) -> rule6))] Bob is furry.[(triple2 OR ((triple1) -> rule7) OR ((triple3) -> rule3) OR ((triple5 triple3) -> rule2) OR ((triple5 triple6) -> rule1) OR ((((triple5) -> rule5)) -> rule3) OR ((((triple7 triple4) -> rule6)) -> rule7) OR ((triple5 ((triple5) -> rule5)) -> rule2) OR ((triple5 ((triple4 triple3) -> rule8)) -> rule1) OR ((triple5 ((triple4 ((triple5) -> rule5)) -> rule8)) -> rule1))] Bob is kind.[(triple3 OR ((triple5) -> rule5))] Bob is red.[(triple4 OR ((triple6 triple1) -> rule4))] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple4 triple3) -> rule8) OR ((triple4 ((triple5) -> rule5)) -> rule8))] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9 OR ((triple8) -> rule7) OR ((triple10 triple11) -> rule1))] Dave is round.[(triple10)] Dave is smart.[(triple11)] Gary is furry.[(triple12 OR ((triple13) -> rule3))] Gary is kind.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Dave is red.[(((triple11 triple8) -> rule4))]