Dave is cold. Dave is rough. Dave is smart. Dave is young. Erin is rough. Erin is white. Gary is big. Gary is nice. Gary is rough. Gary is smart. Gary is white. Gary is young. Rough, white people are cold. If someone is smart and nice then they are young. All white people are big. All young people are rough. If Gary is big and Gary is nice then Gary is cold. If someone is young and big then they are nice. All cold people are young. White people are nice.
Erin is smart.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2 OR ((triple4) -> rule4) OR ((((triple1) -> rule7)) -> rule4))] Dave is smart.[(triple3)] Dave is young.[(triple4 OR ((triple1) -> rule7))] Erin is rough.[(triple5)] Erin is white.[(triple6)] Gary is big.[(triple7 OR ((triple11) -> rule3))] Gary is nice.[(triple8 OR ((triple11) -> rule8) OR ((triple12 triple7) -> rule6) OR ((triple12 ((triple11) -> rule3)) -> rule6) OR ((((((triple9 triple11) -> rule1)) -> rule7) triple7) -> rule6) OR ((((((triple9 triple11) -> rule1)) -> rule7) ((triple11) -> rule3)) -> rule6))] Gary is rough.[(triple9 OR ((triple12) -> rule4) OR ((((triple10 triple8) -> rule2)) -> rule4) OR ((((((triple7 triple8) -> rule5)) -> rule7)) -> rule4) OR ((((triple10 ((triple11) -> rule8)) -> rule2)) -> rule4) OR ((((((triple7 ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((((((((triple11) -> rule3) triple8) -> rule5)) -> rule7)) -> rule4) OR ((((((((triple11) -> rule3) ((triple11) -> rule8)) -> rule5)) -> rule7)) -> rule4))] Gary is smart.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple10 triple8) -> rule2) OR ((((triple7 triple8) -> rule5)) -> rule7) OR ((((triple9 triple11) -> rule1)) -> rule7) OR ((triple10 ((triple11) -> rule8)) -> rule2) OR ((((triple7 ((triple11) -> rule8)) -> rule5)) -> rule7) OR ((((((triple11) -> rule3) triple8) -> rule5)) -> rule7) OR ((((((triple11) -> rule3) ((triple11) -> rule8)) -> rule5)) -> rule7))] @1: Erin is big.[(((triple6) -> rule3))] Erin is cold.[(((triple5 triple6) -> rule1))] Erin is nice.[(((triple6) -> rule8) OR ((((((triple5 triple6) -> rule1)) -> rule7) ((triple6) -> rule3)) -> rule6))] Gary is cold.[(((triple7 triple8) -> rule5) OR ((triple9 triple11) -> rule1) OR ((triple7 ((triple11) -> rule8)) -> rule5) OR ((triple7 ((triple12 triple7) -> rule6)) -> rule5) OR ((((triple11) -> rule3) triple8) -> rule5) OR ((((triple12) -> rule4) triple11) -> rule1) OR ((((triple11) -> rule3) ((triple11) -> rule8)) -> rule5) OR ((((triple11) -> rule3) ((triple12 triple7) -> rule6)) -> rule5) OR ((triple7 ((triple12 ((triple11) -> rule3)) -> rule6)) -> rule5) OR ((((((triple10 triple8) -> rule2)) -> rule4) triple11) -> rule1) OR ((((triple11) -> rule3) ((triple12 ((triple11) -> rule3)) -> rule6)) -> rule5) OR ((((((triple10 ((triple11) -> rule8)) -> rule2)) -> rule4) triple11) -> rule1))] @2: Erin is young.[(((((triple5 triple6) -> rule1)) -> rule7))]