Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is smart. Gary is furry. Gary is green. Gary is kind. Gary is smart. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is smart. All blue people are furry. If someone is smart then they are green. Kind people are furry. Rough, smart people are big. If Bob is rough and Bob is furry then Bob is green. If someone is big then they are rough. If someone is smart and rough then they are furry. All furry people are rough.
Harry is not rough.
@0: Bob is big.[(triple1 OR ((triple6 triple7) -> rule4) OR ((((triple3) -> rule8) triple7) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) triple7) -> rule4) OR ((((((triple5) -> rule3)) -> rule8) triple7) -> rule4))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule1) OR ((triple5) -> rule3) OR ((triple7 triple6) -> rule7) OR ((triple7 ((triple1) -> rule6)) -> rule7))] Bob is green.[(triple4 OR ((triple7) -> rule2) OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple2) -> rule1)) -> rule5) OR ((triple6 ((triple5) -> rule3)) -> rule5) OR ((triple6 ((triple7 triple6) -> rule7)) -> rule5) OR ((((triple1) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule8) triple3) -> rule5) OR ((((triple1) -> rule6) ((triple2) -> rule1)) -> rule5) OR ((((triple1) -> rule6) ((triple5) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((triple7 triple6) -> rule7)) -> rule5) OR ((((triple3) -> rule8) ((triple2) -> rule1)) -> rule5) OR ((((triple3) -> rule8) ((triple5) -> rule3)) -> rule5) OR ((((triple3) -> rule8) ((triple7 triple6) -> rule7)) -> rule5) OR ((triple6 ((triple7 ((triple1) -> rule6)) -> rule7)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8) triple3) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) triple3) -> rule5) OR ((((triple1) -> rule6) ((triple7 ((triple1) -> rule6)) -> rule7)) -> rule5) OR ((((triple3) -> rule8) ((triple7 ((triple1) -> rule6)) -> rule7)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8) ((triple5) -> rule3)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8) ((triple7 triple6) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple5) -> rule3)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple7 triple6) -> rule7)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8) ((triple7 ((triple1) -> rule6)) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple7 ((triple1) -> rule6)) -> rule7)) -> rule5))] Bob is kind.[(triple5)] Bob is rough.[(triple6 OR ((triple1) -> rule6) OR ((triple3) -> rule8) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple5) -> rule3)) -> rule8))] Bob is smart.[(triple7)] Gary is furry.[(triple8 OR ((triple10) -> rule3))] Gary is green.[(triple9 OR ((triple11) -> rule2))] Gary is kind.[(triple10)] Gary is smart.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13 OR ((triple12) -> rule1) OR ((triple15) -> rule3))] Harry is green.[(triple14 OR ((triple16) -> rule2))] Harry is kind.[(triple15)] Harry is smart.[(triple16)] @1: Gary is rough.[(((triple8) -> rule8) OR ((((triple10) -> rule3)) -> rule8))] Harry is rough.[(((triple13) -> rule8) OR ((((triple12) -> rule1)) -> rule8) OR ((((triple15) -> rule3)) -> rule8))] @2: Gary is big.[(((((triple8) -> rule8) triple11) -> rule4) OR ((((((triple10) -> rule3)) -> rule8) triple11) -> rule4))] Harry is big.[(((((triple13) -> rule8) triple16) -> rule4) OR ((((((triple12) -> rule1)) -> rule8) triple16) -> rule4) OR ((((((triple15) -> rule3)) -> rule8) triple16) -> rule4))]