Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is young. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is young. Cold people are smart. Smart people are green. Nice, young people are smart. Rough people are red. If Gary is green then Gary is smart. If someone is nice then they are rough. Cold people are rough. If someone is green then they are red.
Erin is green.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2 OR ((triple6) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple3 triple7) -> rule3)) -> rule2))] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple2) -> rule8) OR ((triple5) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple6) -> rule2)) -> rule8) OR ((((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((((((triple3 triple7) -> rule3)) -> rule2)) -> rule8))] Erin is rough.[(triple5 OR ((triple1) -> rule7) OR ((triple3) -> rule6))] Erin is smart.[(triple6 OR ((triple1) -> rule1) OR ((triple3 triple7) -> rule3))] Erin is young.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple13) -> rule2) OR ((((triple8) -> rule1)) -> rule2) OR ((((triple10 triple14) -> rule3)) -> rule2))] Gary is nice.[(triple10)] Gary is red.[(triple11 OR ((triple12) -> rule4) OR ((triple9) -> rule8) OR ((((triple10) -> rule6)) -> rule4) OR ((((triple13) -> rule2)) -> rule8) OR ((((triple8) -> rule7)) -> rule4) OR ((((((triple8) -> rule1)) -> rule2)) -> rule8) OR ((((((triple10 triple14) -> rule3)) -> rule2)) -> rule8))] Gary is rough.[(triple12 OR ((triple10) -> rule6) OR ((triple8) -> rule7))] Gary is smart.[(triple13 OR ((triple8) -> rule1) OR ((triple9) -> rule5) OR ((triple10 triple14) -> rule3))] Gary is young.[(triple14)]