Erin is big. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is smart. If something is kind then it is red. If something is quiet then it is red. All big, smart things are red. If Gary is smart and Gary is red then Gary is kind. Red, kind things are big. Kind things are quiet. If Erin is red and Erin is big then Erin is quiet. All quiet, kind things are smart.
Gary is not red.
@0: Erin is big.[(triple1 OR ((triple6 triple3) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule5) OR ((((triple5) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) triple3) -> rule5))] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule6) OR ((triple6 triple1) -> rule7) OR ((triple6 ((triple6 triple3) -> rule5)) -> rule7) OR ((((triple3) -> rule1) triple1) -> rule7) OR ((((triple1 triple7) -> rule3) triple1) -> rule7) OR ((((triple3) -> rule1) ((triple6 triple3) -> rule5)) -> rule7) OR ((((triple1 triple7) -> rule3) ((triple6 triple3) -> rule5)) -> rule7) OR ((triple6 ((((triple3) -> rule1) triple3) -> rule5)) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple3) -> rule5)) -> rule7) OR ((((triple1 triple7) -> rule3) ((((triple3) -> rule1) triple3) -> rule5)) -> rule7))] Erin is red.[(triple6 OR ((triple3) -> rule1) OR ((triple5) -> rule2) OR ((triple1 triple7) -> rule3) OR ((((triple3) -> rule6)) -> rule2) OR ((triple1 ((triple5 triple3) -> rule8)) -> rule3) OR ((triple1 ((((triple3) -> rule6) triple3) -> rule8)) -> rule3))] Erin is smart.[(triple7 OR ((triple5 triple3) -> rule8) OR ((((triple3) -> rule6) triple3) -> rule8) OR ((((triple6 triple1) -> rule7) triple3) -> rule8) OR ((((triple6 ((triple6 triple3) -> rule5)) -> rule7) triple3) -> rule8) OR ((((((triple3) -> rule1) triple1) -> rule7) triple3) -> rule8) OR ((((((triple3) -> rule1) ((triple6 triple3) -> rule5)) -> rule7) triple3) -> rule8) OR ((((triple6 ((((triple3) -> rule1) triple3) -> rule5)) -> rule7) triple3) -> rule8) OR ((((((triple3) -> rule1) ((((triple3) -> rule1) triple3) -> rule5)) -> rule7) triple3) -> rule8))] Gary is big.[(triple8 OR ((triple13 triple10) -> rule5) OR ((triple13 ((triple14 triple13) -> rule4)) -> rule5) OR ((((triple10) -> rule1) triple10) -> rule5) OR ((((triple12) -> rule2) triple10) -> rule5) OR ((((triple10) -> rule1) ((triple14 triple13) -> rule4)) -> rule5) OR ((((triple12) -> rule2) ((triple14 triple13) -> rule4)) -> rule5) OR ((triple13 ((triple14 ((triple12) -> rule2)) -> rule4)) -> rule5) OR ((((((triple10) -> rule6)) -> rule2) triple10) -> rule5) OR ((((triple10) -> rule1) ((triple14 ((triple12) -> rule2)) -> rule4)) -> rule5) OR ((((triple12) -> rule2) ((triple14 ((triple12) -> rule2)) -> rule4)) -> rule5) OR ((((((triple10) -> rule6)) -> rule2) ((triple14 triple13) -> rule4)) -> rule5) OR ((((((triple10) -> rule6)) -> rule2) ((triple14 ((triple12) -> rule2)) -> rule4)) -> rule5))] Gary is cold.[(triple9)] Gary is kind.[(triple10 OR ((triple14 triple13) -> rule4) OR ((triple14 ((triple12) -> rule2)) -> rule4) OR ((triple14 ((triple8 triple14) -> rule3)) -> rule4))] Gary is nice.[(triple11)] Gary is quiet.[(triple12 OR ((triple10) -> rule6) OR ((((triple14 triple13) -> rule4)) -> rule6) OR ((((triple14 ((triple8 triple14) -> rule3)) -> rule4)) -> rule6))] Gary is red.[(triple13 OR ((triple10) -> rule1) OR ((triple12) -> rule2) OR ((triple8 triple14) -> rule3) OR ((((triple10) -> rule6)) -> rule2) OR ((triple8 ((triple12 triple10) -> rule8)) -> rule3) OR ((triple8 ((((triple10) -> rule6) triple10) -> rule8)) -> rule3))] Gary is smart.[(triple14 OR ((triple12 triple10) -> rule8) OR ((((triple10) -> rule6) triple10) -> rule8))]