Erin is cold. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is white. Gary is young. Harry is big. Harry is furry. Harry is rough. Harry is white. If something is young and big then it is red. If something is cold then it is rough. If Gary is furry then Gary is young. Rough things are big. All white, young things are cold. If Erin is young and Erin is red then Erin is rough. All white, young things are big. If Gary is cold then Gary is white.
Harry is not red.
@0: Erin is cold.[(triple1 OR ((triple4 triple5) -> rule5))] Erin is red.[(triple2 OR ((triple5 ((triple3) -> rule4)) -> rule1) OR ((triple5 ((triple4 triple5) -> rule7)) -> rule1) OR ((triple5 ((((triple1) -> rule2)) -> rule4)) -> rule1) OR ((triple5 ((((((triple4 triple5) -> rule5)) -> rule2)) -> rule4)) -> rule1))] Erin is rough.[(triple3 OR ((triple1) -> rule2) OR ((triple5 triple2) -> rule6) OR ((((triple4 triple5) -> rule5)) -> rule2) OR ((triple5 ((triple5 ((triple4 triple5) -> rule7)) -> rule1)) -> rule6))] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is big.[(triple6 OR ((triple10) -> rule4) OR ((triple11 triple12) -> rule7) OR ((((triple7) -> rule2)) -> rule4) OR ((triple11 ((triple8) -> rule3)) -> rule7) OR ((((triple7) -> rule8) triple12) -> rule7) OR ((((triple7) -> rule8) ((triple8) -> rule3)) -> rule7) OR ((((((triple11 triple12) -> rule5)) -> rule2)) -> rule4) OR ((((((triple11 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule4))] Gary is cold.[(triple7 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple8) -> rule3)) -> rule5))] Gary is furry.[(triple8)] Gary is red.[(triple9 OR ((triple12 triple6) -> rule1) OR ((triple12 ((triple10) -> rule4)) -> rule1) OR ((triple12 ((triple11 triple12) -> rule7)) -> rule1) OR ((((triple8) -> rule3) triple6) -> rule1) OR ((((triple8) -> rule3) ((triple10) -> rule4)) -> rule1) OR ((((triple8) -> rule3) ((triple11 triple12) -> rule7)) -> rule1) OR ((triple12 ((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((triple12 ((triple11 ((triple8) -> rule3)) -> rule7)) -> rule1) OR ((triple12 ((((triple7) -> rule8) triple12) -> rule7)) -> rule1) OR ((triple12 ((((triple7) -> rule8) ((triple8) -> rule3)) -> rule7)) -> rule1) OR ((((triple8) -> rule3) ((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((((triple8) -> rule3) ((triple11 ((triple8) -> rule3)) -> rule7)) -> rule1) OR ((((triple8) -> rule3) ((((triple7) -> rule8) triple12) -> rule7)) -> rule1) OR ((((triple8) -> rule3) ((((triple7) -> rule8) ((triple8) -> rule3)) -> rule7)) -> rule1) OR ((triple12 ((((((triple11 triple12) -> rule5)) -> rule2)) -> rule4)) -> rule1) OR ((((triple8) -> rule3) ((((((triple11 triple12) -> rule5)) -> rule2)) -> rule4)) -> rule1) OR ((triple12 ((((((triple11 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule4)) -> rule1) OR ((((triple8) -> rule3) ((((((triple11 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule4)) -> rule1))] Gary is rough.[(triple10 OR ((triple7) -> rule2) OR ((((triple11 triple12) -> rule5)) -> rule2) OR ((((triple11 ((triple8) -> rule3)) -> rule5)) -> rule2))] Gary is white.[(triple11 OR ((triple7) -> rule8))] Gary is young.[(triple12 OR ((triple8) -> rule3))] Harry is big.[(triple13 OR ((triple15) -> rule4))] Harry is furry.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Erin is big.[(((triple3) -> rule4) OR ((triple4 triple5) -> rule7) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple5 triple2) -> rule6)) -> rule4) OR ((((((triple4 triple5) -> rule5)) -> rule2)) -> rule4))]