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