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