Bob is red. Bob is rough. Dave is not blue. Dave is rough. Dave is white. Gary is blue. Gary is nice. Gary is red. Gary is rough. Harry is green. If someone is nice and rough then they are blue. If Harry is rough then Harry is nice. Furry, blue people are green. If Gary is nice then Gary is rough. All blue people are red. Green people are red. All red people are furry. If someone is green and furry then they are rough. If Harry is rough then Harry is white.
Gary is not white.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Dave is not blue.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Gary is blue.[(triple6 OR ((triple7 triple9) -> rule1) OR ((triple7 ((triple7) -> rule4)) -> rule1))] Gary is nice.[(triple7)] Gary is red.[(triple8 OR ((triple6) -> rule5) OR ((((triple7 triple9) -> rule1)) -> rule5) OR ((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule5))] Gary is rough.[(triple9 OR ((triple7) -> rule4) OR ((((((triple8) -> rule7) triple6) -> rule3) ((triple8) -> rule7)) -> rule8) OR ((((((triple8) -> rule7) triple6) -> rule3) ((((triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule7) triple6) -> rule3) ((triple8) -> rule7)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule7) triple6) -> rule3) ((((triple6) -> rule5)) -> rule7)) -> rule8))] Harry is green.[(triple10)] @1: Bob is furry.[(((triple1) -> rule7))] Gary is furry.[(((triple8) -> rule7) OR ((((triple6) -> rule5)) -> rule7) OR ((((((triple7 triple9) -> rule1)) -> rule5)) -> rule7) OR ((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule7))] Harry is red.[(((triple10) -> rule6))] @2: Gary is green.[(((((triple8) -> rule7) triple6) -> rule3) OR ((((triple8) -> rule7) ((triple7 triple9) -> rule1)) -> rule3) OR ((((((triple6) -> rule5)) -> rule7) triple6) -> rule3) OR ((((triple8) -> rule7) ((triple7 ((triple7) -> rule4)) -> rule1)) -> rule3) OR ((((((triple6) -> rule5)) -> rule7) ((triple7 triple9) -> rule1)) -> rule3) OR ((((((triple6) -> rule5)) -> rule7) ((triple7 ((triple7) -> rule4)) -> rule1)) -> rule3) OR ((((((((triple7 triple9) -> rule1)) -> rule5)) -> rule7) triple6) -> rule3) OR ((((((((triple7 triple9) -> rule1)) -> rule5)) -> rule7) ((triple7 triple9) -> rule1)) -> rule3) OR ((((((((triple7 triple9) -> rule1)) -> rule5)) -> rule7) ((triple7 ((triple7) -> rule4)) -> rule1)) -> rule3) OR ((((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule7) triple6) -> rule3) OR ((((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule7) ((triple7 triple9) -> rule1)) -> rule3) OR ((((((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule7) ((triple7 ((triple7) -> rule4)) -> rule1)) -> rule3))] Harry is furry.[(((((triple10) -> rule6)) -> rule7))] @3: Harry is rough.[(((triple10 ((((triple10) -> rule6)) -> rule7)) -> rule8))] @4: Harry is nice.[(((((triple10 ((((triple10) -> rule6)) -> rule7)) -> rule8)) -> rule2))] Harry is white.[(((((triple10 ((((triple10) -> rule6)) -> rule7)) -> rule8)) -> rule9))] @5: Harry is blue.[(((((((triple10 ((((triple10) -> rule6)) -> rule7)) -> rule8)) -> rule2) ((triple10 ((((triple10) -> rule6)) -> rule7)) -> rule8)) -> rule1))]