Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is smart. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is smart. Erin is white. If something is kind then it is cold. All green things are smart. If something is cold and green then it is big. If something is smart then it is blue. If something is green then it is white. If Erin is white and Erin is big then Erin is smart. If something is white and kind then it is big. All smart, big things are kind.
Dave is kind.
@0: Dave is big.[(triple1 OR ((triple3 triple4) -> rule3) OR ((((triple4) -> rule5) triple5) -> rule7) OR ((((triple5) -> rule1) triple4) -> rule3))] Dave is blue.[(triple2 OR ((triple6) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] Dave is cold.[(triple3 OR ((triple5) -> rule1) OR ((((triple6 triple1) -> rule8)) -> rule1) OR ((((((triple4) -> rule2) triple1) -> rule8)) -> rule1))] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((triple6 triple1) -> rule8) OR ((triple6 ((triple3 triple4) -> rule3)) -> rule8) OR ((((triple4) -> rule2) triple1) -> rule8) OR ((((triple4) -> rule2) ((triple3 triple4) -> rule3)) -> rule8))] Dave is smart.[(triple6 OR ((triple4) -> rule2))] Erin is blue.[(triple7 OR ((triple11) -> rule4) OR ((((triple9) -> rule2)) -> rule4) OR ((((triple12 ((triple12 triple10) -> rule7)) -> rule6)) -> rule4) OR ((((triple12 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5) ((triple12 triple10) -> rule7)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5) ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((((triple12 ((((triple10) -> rule1) triple9) -> rule3)) -> rule6)) -> rule4) OR ((((triple12 ((((triple9) -> rule5) triple10) -> rule7)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5) ((((triple10) -> rule1) triple9) -> rule3)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5) ((((triple9) -> rule5) triple10) -> rule7)) -> rule6)) -> rule4))] Erin is cold.[(triple8 OR ((triple10) -> rule1))] Erin is green.[(triple9)] Erin is kind.[(triple10 OR ((triple11 ((triple8 triple9) -> rule3)) -> rule8) OR ((((triple9) -> rule2) ((triple8 triple9) -> rule3)) -> rule8) OR ((((triple12 ((triple8 triple9) -> rule3)) -> rule6) ((triple8 triple9) -> rule3)) -> rule8) OR ((((((triple9) -> rule5) ((triple8 triple9) -> rule3)) -> rule6) ((triple8 triple9) -> rule3)) -> rule8))] Erin is smart.[(triple11 OR ((triple9) -> rule2) OR ((triple12 ((triple12 triple10) -> rule7)) -> rule6) OR ((triple12 ((triple8 triple9) -> rule3)) -> rule6) OR ((((triple9) -> rule5) ((triple12 triple10) -> rule7)) -> rule6) OR ((((triple9) -> rule5) ((triple8 triple9) -> rule3)) -> rule6) OR ((triple12 ((((triple10) -> rule1) triple9) -> rule3)) -> rule6) OR ((triple12 ((((triple9) -> rule5) triple10) -> rule7)) -> rule6) OR ((((triple9) -> rule5) ((((triple10) -> rule1) triple9) -> rule3)) -> rule6) OR ((((triple9) -> rule5) ((((triple9) -> rule5) triple10) -> rule7)) -> rule6))] Erin is white.[(triple12 OR ((triple9) -> rule5))] @1: Dave is white.[(((triple4) -> rule5))] Erin is big.[(((triple12 triple10) -> rule7) OR ((triple8 triple9) -> rule3) OR ((((triple10) -> rule1) triple9) -> rule3) OR ((((triple9) -> rule5) triple10) -> rule7))]