Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is smart. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is smart. If Gary is kind then Gary is quiet. Red, cold people are kind. All quiet people are green. All red, green people are furry. All green, smart people are furry. If Erin is kind and Erin is smart then Erin is quiet. If someone is smart and quiet then they are green. All cold, quiet people are smart.
Gary is green.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple4 ((((triple3 triple5) -> rule6)) -> rule3)) -> rule4) OR ((triple4 ((triple5 ((triple3 triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((triple3 triple5) -> rule6)) -> rule3) triple5) -> rule5) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule7) triple5) -> rule5) OR ((triple4 ((((((triple4 triple1) -> rule2) triple5) -> rule6)) -> rule3)) -> rule4) OR ((triple4 ((triple5 ((((triple4 triple1) -> rule2) triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4 triple1) -> rule2) triple5) -> rule6)) -> rule3) triple5) -> rule5) OR ((((triple5 ((((triple4 triple1) -> rule2) triple5) -> rule6)) -> rule7) triple5) -> rule5))] Erin is kind.[(triple3 OR ((triple4 triple1) -> rule2))] Erin is red.[(triple4)] Erin is smart.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7 OR ((((triple8) -> rule1)) -> rule3) OR ((triple10 ((triple8) -> rule1)) -> rule7) OR ((((((triple9 triple6) -> rule2)) -> rule1)) -> rule3) OR ((triple10 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) OR ((((triple6 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) OR ((((triple6 ((triple8) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) OR ((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) OR ((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7))] Gary is kind.[(triple8 OR ((triple9 triple6) -> rule2))] Gary is red.[(triple9)] Gary is smart.[(triple10 OR ((triple6 ((triple8) -> rule1)) -> rule8) OR ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8))] @1: Erin is quiet.[(((triple3 triple5) -> rule6) OR ((((triple4 triple1) -> rule2) triple5) -> rule6))] Gary is furry.[(((triple7 triple10) -> rule5) OR ((triple9 triple7) -> rule4) OR ((triple7 ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((triple9 ((((triple8) -> rule1)) -> rule3)) -> rule4) OR ((triple9 ((triple10 ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((((triple8) -> rule1)) -> rule3) triple10) -> rule5) OR ((((triple10 ((triple8) -> rule1)) -> rule7) triple10) -> rule5) OR ((((((triple8) -> rule1)) -> rule3) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((triple10 ((triple8) -> rule1)) -> rule7) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((triple7 ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((triple9 ((((((triple9 triple6) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((triple9 ((triple10 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple9 triple6) -> rule2)) -> rule1)) -> rule3) triple10) -> rule5) OR ((((triple10 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) triple10) -> rule5) OR ((triple9 ((((triple6 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((((triple6 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) triple10) -> rule5) OR ((triple9 ((((triple6 ((triple8) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7)) -> rule4) OR ((((((triple8) -> rule1)) -> rule3) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple9 triple6) -> rule2)) -> rule1)) -> rule3) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((triple10 ((triple8) -> rule1)) -> rule7) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((((triple10 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((triple8) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) triple10) -> rule5) OR ((((((((triple9 triple6) -> rule2)) -> rule1)) -> rule3) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((((triple10 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((triple8) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((triple8) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((triple9 ((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) triple10) -> rule5) OR ((triple9 ((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7)) -> rule4) OR ((((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) triple10) -> rule5) OR ((((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule7) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple8) -> rule1)) -> rule8)) -> rule5) OR ((((((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8) ((((triple9 triple6) -> rule2)) -> rule1)) -> rule7) ((triple6 ((((triple9 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule5))] Gary is quiet.[(((triple8) -> rule1) OR ((((triple9 triple6) -> rule2)) -> rule1))] @2: Erin is green.[(((((triple3 triple5) -> rule6)) -> rule3) OR ((triple5 ((triple3 triple5) -> rule6)) -> rule7) OR ((((((triple4 triple1) -> rule2) triple5) -> rule6)) -> rule3) OR ((triple5 ((((triple4 triple1) -> rule2) triple5) -> rule6)) -> rule7))]