Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is white. Anne is young. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is white. Gary is young. All cold, young people are big. All white, young people are blue. All young people are white. If someone is cold and red then they are blue. If Gary is young then Gary is red. If Gary is blue and Gary is cold then Gary is furry. All blue people are cold. If Gary is white then Gary is young.
Anne is not red.
@0: Anne is big.[(triple1 OR ((triple3 triple7) -> rule1) OR ((((triple2) -> rule7) triple7) -> rule1) OR ((((((triple6 triple7) -> rule2)) -> rule7) triple7) -> rule1) OR ((((((((triple7) -> rule3) triple7) -> rule2)) -> rule7) triple7) -> rule1))] Anne is blue.[(triple2 OR ((triple3 triple5) -> rule4) OR ((triple6 triple7) -> rule2) OR ((((triple7) -> rule3) triple7) -> rule2))] Anne is cold.[(triple3 OR ((triple2) -> rule7) OR ((((triple6 triple7) -> rule2)) -> rule7) OR ((((((triple7) -> rule3) triple7) -> rule2)) -> rule7))] Anne is furry.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6 OR ((triple7) -> rule3))] Anne is young.[(triple7)] Gary is big.[(triple8 OR ((triple10 triple14) -> rule1) OR ((triple10 ((triple13) -> rule8)) -> rule1) OR ((((triple9) -> rule7) triple14) -> rule1) OR ((((triple9) -> rule7) ((triple13) -> rule8)) -> rule1) OR ((((((triple13 triple14) -> rule2)) -> rule7) triple14) -> rule1) OR ((((((triple13 triple14) -> rule2)) -> rule7) ((triple13) -> rule8)) -> rule1) OR ((((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7) triple14) -> rule1) OR ((((((((triple14) -> rule3) triple14) -> rule2)) -> rule7) triple14) -> rule1) OR ((((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7) ((triple13) -> rule8)) -> rule1) OR ((((((((triple14) -> rule3) triple14) -> rule2)) -> rule7) ((triple13) -> rule8)) -> rule1) OR ((((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7) triple14) -> rule1) OR ((((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7) ((triple13) -> rule8)) -> rule1))] Gary is blue.[(triple9 OR ((triple10 triple12) -> rule4) OR ((triple13 triple14) -> rule2) OR ((triple10 ((triple14) -> rule5)) -> rule4) OR ((triple13 ((triple13) -> rule8)) -> rule2) OR ((((triple14) -> rule3) triple14) -> rule2) OR ((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) OR ((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4))] Gary is cold.[(triple10 OR ((triple9) -> rule7) OR ((((triple13 triple14) -> rule2)) -> rule7) OR ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7) OR ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7))] Gary is furry.[(triple11 OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple9) -> rule7)) -> rule6) OR ((((triple10 triple12) -> rule4) triple10) -> rule6) OR ((((triple13 triple14) -> rule2) triple10) -> rule6) OR ((((triple10 triple12) -> rule4) ((triple9) -> rule7)) -> rule6) OR ((((triple13 triple14) -> rule2) ((triple9) -> rule7)) -> rule6) OR ((triple9 ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((triple14) -> rule5)) -> rule4) triple10) -> rule6) OR ((((triple13 ((triple13) -> rule8)) -> rule2) triple10) -> rule6) OR ((((((triple14) -> rule3) triple14) -> rule2) triple10) -> rule6) OR ((((triple10 triple12) -> rule4) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((triple14) -> rule5)) -> rule4) ((triple9) -> rule7)) -> rule6) OR ((((triple13 triple14) -> rule2) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 ((triple13) -> rule8)) -> rule2) ((triple9) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple14) -> rule2) ((triple9) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) triple10) -> rule6) OR ((((triple10 ((triple14) -> rule5)) -> rule4) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 ((triple13) -> rule8)) -> rule2) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple14) -> rule2) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) ((triple9) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((triple9 ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((triple9 ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4) triple10) -> rule6) OR ((triple9 ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 triple12) -> rule4) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 triple12) -> rule4) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4) ((triple9) -> rule7)) -> rule6) OR ((((triple13 triple14) -> rule2) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 triple14) -> rule2) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 triple12) -> rule4) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((triple14) -> rule5)) -> rule4) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((triple14) -> rule5)) -> rule4) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4) ((((triple13 triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 triple14) -> rule2) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 ((triple13) -> rule8)) -> rule2) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 ((triple13) -> rule8)) -> rule2) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple14) -> rule2) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple14) -> rule2) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((triple14) -> rule5)) -> rule4) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple13 ((triple13) -> rule8)) -> rule2) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple14) -> rule2) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) ((((triple13 ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) ((((((triple14) -> rule3) triple14) -> rule2)) -> rule7)) -> rule6) OR ((((triple10 ((((triple13) -> rule8)) -> rule5)) -> rule4) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2) ((((((triple14) -> rule3) ((triple13) -> rule8)) -> rule2)) -> rule7)) -> rule6))] Gary is red.[(triple12 OR ((triple14) -> rule5) OR ((((triple13) -> rule8)) -> rule5))] Gary is white.[(triple13 OR ((triple14) -> rule3))] Gary is young.[(triple14 OR ((triple13) -> rule8))]