Bob is green. Bob is smart. Erin is green. Erin is round. Erin is young. Gary is green. Gary is quiet. Gary is round. Gary is smart. Gary is young. Smart, quiet people are round. Green people are young. If Erin is young then Erin is round. Smart, nice people are quiet. All quiet, young people are nice. If Erin is smart then Erin is rough.
Erin is smart.
@0: Bob is green.[(triple1)] Bob is smart.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4 OR ((triple5) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] Erin is young.[(triple5 OR ((triple3) -> rule2))] Gary is green.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8 OR ((triple9 triple7) -> rule1))] Gary is smart.[(triple9)] Gary is young.[(triple10 OR ((triple6) -> rule2))] @1: Bob is young.[(((triple1) -> rule2))] Gary is nice.[(((triple7 triple10) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule5))]