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