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