Charlie is cold. Charlie is rough. Charlie is smart. Charlie is young. Erin is green. Erin is kind. Erin is rough. Erin is smart. Erin is white. Erin is young. Cold people are white. All green people are kind. If Erin is young then Erin is green. If Erin is rough then Erin is kind. If someone is cold and rough then they are smart. If Erin is young and Erin is white then Erin is smart. All cold, white people are smart. If Erin is smart then Erin is young.
Charlie is rough.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule1)) -> rule7))] Charlie is young.[(triple4)] Erin is green.[(triple5 OR ((triple10) -> rule3) OR ((((triple8) -> rule8)) -> rule3))] Erin is kind.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule4) OR ((((triple10) -> rule3)) -> rule2) OR ((((((triple8) -> rule8)) -> rule3)) -> rule2))] Erin is rough.[(triple7)] Erin is smart.[(triple8 OR ((triple10 triple9) -> rule6))] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple8) -> rule8))] @1: Charlie is white.[(((triple1) -> rule1))]