Charlie is furry. Charlie is nice. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is rough. Red things are nice. If Erin is rough and Erin is green then Erin is cold. If something is nice then it is red. All red things are green. All cold, rough things are green. All blue, nice things are furry. If something is green then it is nice. All red, green things are blue.
Charlie is not red.
@0: Charlie is furry.[(triple1 OR ((((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8) triple2) -> rule6))] Charlie is nice.[(triple2)] Erin is blue.[(triple3 OR ((triple8 triple6) -> rule8) OR ((triple8 ((triple8) -> rule4)) -> rule8) OR ((triple8 ((triple4 triple9) -> rule5)) -> rule8) OR ((((triple7) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8))] Erin is cold.[(triple4 OR ((triple9 triple6) -> rule2) OR ((triple9 ((triple8) -> rule4)) -> rule2) OR ((triple9 ((((triple7) -> rule3)) -> rule4)) -> rule2))] Erin is furry.[(triple5 OR ((triple3 triple7) -> rule6) OR ((triple3 ((triple6) -> rule7)) -> rule6) OR ((triple3 ((triple8) -> rule1)) -> rule6) OR ((((triple8 triple6) -> rule8) triple7) -> rule6) OR ((((triple8 triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((triple3 ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((triple3 ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) triple7) -> rule6) OR ((((triple8 triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) triple7) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6))] Erin is green.[(triple6 OR ((triple8) -> rule4) OR ((triple4 triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule4))] Erin is nice.[(triple7 OR ((triple6) -> rule7) OR ((triple8) -> rule1) OR ((((triple8) -> rule4)) -> rule7) OR ((((triple4 triple9) -> rule5)) -> rule7))] Erin is red.[(triple8 OR ((triple7) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3))] Erin is rough.[(triple9)] Gary is blue.[(triple10 OR ((((triple14) -> rule3) triple13) -> rule8) OR ((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) OR ((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) OR ((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) OR ((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) OR ((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) OR ((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) OR ((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8))] Gary is cold.[(triple11)] Gary is furry.[(triple12 OR ((triple10 triple14) -> rule6) OR ((triple10 ((triple13) -> rule7)) -> rule6) OR ((triple10 ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) triple14) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6))] Gary is green.[(triple13 OR ((triple11 triple15) -> rule5) OR ((((triple14) -> rule3)) -> rule4))] Gary is nice.[(triple14 OR ((triple13) -> rule7) OR ((((triple11 triple15) -> rule5)) -> rule7))] Gary is rough.[(triple15)] @1: Charlie is red.[(((triple2) -> rule3))] Gary is red.[(((triple14) -> rule3) OR ((((triple13) -> rule7)) -> rule3) OR ((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3))] @2: Charlie is green.[(((((triple2) -> rule3)) -> rule4))] @3: Charlie is blue.[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8))]