Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. Gary is furry. Gary is green. Gary is red. Gary is smart. Gary is white. White things are rough. Furry, smart things are rough. If Gary is round and Gary is green then Gary is red. Round, green things are red. Green, smart things are furry. If something is rough and green then it is round.
Gary is not smart.
@0: Bob is furry.[(triple1 OR ((triple2 triple6) -> rule5))] Bob is green.[(triple2)] Bob is red.[(triple3 OR ((triple5 triple2) -> rule4) OR ((((triple4 triple2) -> rule6) triple2) -> rule4) OR ((((((triple7) -> rule1) triple2) -> rule6) triple2) -> rule4) OR ((((((triple1 triple6) -> rule2) triple2) -> rule6) triple2) -> rule4) OR ((((((((triple2 triple6) -> rule5) triple6) -> rule2) triple2) -> rule6) triple2) -> rule4))] Bob is rough.[(triple4 OR ((triple7) -> rule1) OR ((triple1 triple6) -> rule2) OR ((((triple2 triple6) -> rule5) triple6) -> rule2))] Bob is round.[(triple5 OR ((triple4 triple2) -> rule6) OR ((((triple7) -> rule1) triple2) -> rule6) OR ((((triple1 triple6) -> rule2) triple2) -> rule6) OR ((((((triple2 triple6) -> rule5) triple6) -> rule2) triple2) -> rule6))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Gary is furry.[(triple8 OR ((triple9 triple11) -> rule5))] Gary is green.[(triple9)] Gary is red.[(triple10 OR ((((((triple12) -> rule1) triple9) -> rule6) triple9) -> rule3) OR ((((((triple12) -> rule1) triple9) -> rule6) triple9) -> rule4) OR ((((((triple8 triple11) -> rule2) triple9) -> rule6) triple9) -> rule3) OR ((((((triple8 triple11) -> rule2) triple9) -> rule6) triple9) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple11) -> rule2) triple9) -> rule6) triple9) -> rule3) OR ((((((((triple9 triple11) -> rule5) triple11) -> rule2) triple9) -> rule6) triple9) -> rule4))] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Gary is rough.[(((triple12) -> rule1) OR ((triple8 triple11) -> rule2) OR ((((triple9 triple11) -> rule5) triple11) -> rule2))] @2: Gary is round.[(((((triple12) -> rule1) triple9) -> rule6) OR ((((triple8 triple11) -> rule2) triple9) -> rule6) OR ((((((triple9 triple11) -> rule5) triple11) -> rule2) triple9) -> rule6))]