Erin is kind. Erin is red. Erin is smart. Erin is white. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is white. White things are red. If Gary is nice then Gary is white. All red things are rough. All cold, rough things are smart. Rough, red things are cold. All white, nice things are kind. If something is white and kind then it is cold. All white, cold things are smart.
Gary is kind.
@0: Erin is kind.[(triple1)] Erin is red.[(triple2 OR ((triple4) -> rule1))] Erin is smart.[(triple3 OR ((triple4 ((triple4 triple1) -> rule7)) -> rule8) OR ((((triple4 triple1) -> rule7) ((triple2) -> rule3)) -> rule4) OR ((triple4 ((((triple2) -> rule3) triple2) -> rule5)) -> rule8) OR ((triple4 ((((triple2) -> rule3) ((triple4) -> rule1)) -> rule5)) -> rule8) OR ((((triple4 triple1) -> rule7) ((((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule5) ((((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((triple2) -> rule3) ((triple4) -> rule1)) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3) ((triple4) -> rule1)) -> rule5) ((((triple4) -> rule1)) -> rule3)) -> rule4) OR ((triple4 ((((((triple4) -> rule1)) -> rule3) triple2) -> rule5)) -> rule8) OR ((triple4 ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple4) -> rule1)) -> rule3) triple2) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule3) triple2) -> rule5) ((((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule5) ((((triple4) -> rule1)) -> rule3)) -> rule4))] Erin is white.[(triple4)] Gary is kind.[(triple5 OR ((triple10 triple6) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule6))] Gary is nice.[(triple6)] Gary is red.[(triple7 OR ((triple10) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Gary is rough.[(triple8 OR ((triple7) -> rule3) OR ((((triple10) -> rule1)) -> rule3) OR ((((((triple6) -> rule2)) -> rule1)) -> rule3))] Gary is smart.[(triple9 OR ((triple10 ((triple10 triple5) -> rule7)) -> rule8) OR ((triple10 ((triple8 triple7) -> rule5)) -> rule8) OR ((((triple10 triple5) -> rule7) triple8) -> rule4) OR ((((triple8 triple7) -> rule5) triple8) -> rule4) OR ((((triple6) -> rule2) ((triple10 triple5) -> rule7)) -> rule8) OR ((((triple6) -> rule2) ((triple8 triple7) -> rule5)) -> rule8) OR ((((triple10 triple5) -> rule7) ((triple7) -> rule3)) -> rule4) OR ((((triple8 triple7) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((triple10 ((triple10 ((triple10 triple6) -> rule6)) -> rule7)) -> rule8) OR ((triple10 ((triple8 ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((triple10 ((((triple6) -> rule2) triple5) -> rule7)) -> rule8) OR ((triple10 ((((triple7) -> rule3) triple7) -> rule5)) -> rule8) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule7) triple8) -> rule4) OR ((((triple8 ((triple10) -> rule1)) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule2) triple5) -> rule7) triple8) -> rule4) OR ((((((triple7) -> rule3) triple7) -> rule5) triple8) -> rule4) OR ((triple10 ((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7)) -> rule8) OR ((triple10 ((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((triple10 ((triple10 triple6) -> rule6)) -> rule7)) -> rule8) OR ((((triple6) -> rule2) ((triple8 ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple5) -> rule7)) -> rule8) OR ((((triple6) -> rule2) ((((triple7) -> rule3) triple7) -> rule5)) -> rule8) OR ((((triple10 triple5) -> rule7) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule7) ((triple7) -> rule3)) -> rule4) OR ((((triple8 triple7) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((triple10) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) triple5) -> rule7) ((triple7) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7) triple8) -> rule4) OR ((((((triple7) -> rule3) triple7) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5) triple8) -> rule4) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7)) -> rule8) OR ((((triple6) -> rule2) ((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule7) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((triple10) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) triple5) -> rule7) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7) ((triple7) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) triple7) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((triple10 ((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7)) -> rule8) OR ((triple10 ((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((triple10 ((((((triple10) -> rule1)) -> rule3) triple7) -> rule5)) -> rule8) OR ((((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) triple8) -> rule4) OR ((((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5) triple8) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) triple7) -> rule5) triple8) -> rule4) OR ((triple10 ((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7)) -> rule8) OR ((triple10 ((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((triple10 ((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7)) -> rule8) OR ((((triple6) -> rule2) ((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((((triple10) -> rule1)) -> rule3) triple7) -> rule5)) -> rule8) OR ((((triple10 triple5) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) ((triple7) -> rule3)) -> rule4) OR ((((triple8 triple7) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) triple8) -> rule4) OR ((((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) triple8) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) triple7) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) triple8) -> rule4) OR ((triple10 ((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7)) -> rule8) OR ((((triple6) -> rule2) ((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((triple10) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) triple5) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) ((triple7) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) triple7) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) triple7) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) triple8) -> rule4) OR ((((triple6) -> rule2) ((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) triple7) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((triple10 ((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5)) -> rule8) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5) triple8) -> rule4) OR ((triple10 ((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5)) -> rule8) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) triple8) -> rule4) OR ((triple10 ((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((((triple6) -> rule2) ((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) triple8) -> rule4) OR ((((triple6) -> rule2) ((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) ((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4))] Gary is white.[(triple10 OR ((triple6) -> rule2))] @1: Erin is cold.[(((triple4 triple1) -> rule7) OR ((((triple2) -> rule3) triple2) -> rule5) OR ((((triple2) -> rule3) ((triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule1)) -> rule3) triple2) -> rule5) OR ((((((triple4) -> rule1)) -> rule3) ((triple4) -> rule1)) -> rule5))] Erin is rough.[(((triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Gary is cold.[(((triple10 triple5) -> rule7) OR ((triple8 triple7) -> rule5) OR ((triple10 ((triple10 triple6) -> rule6)) -> rule7) OR ((triple8 ((triple10) -> rule1)) -> rule5) OR ((((triple6) -> rule2) triple5) -> rule7) OR ((((triple7) -> rule3) triple7) -> rule5) OR ((((triple6) -> rule2) ((triple10 triple6) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((triple10 ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) OR ((triple8 ((((triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple10) -> rule1)) -> rule3) triple7) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple6) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((((((triple10) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule3) triple7) -> rule5) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule3) ((((triple6) -> rule2)) -> rule1)) -> rule5))]