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