Erin is kind. Erin is smart. Erin is young. If Erin is round and Erin is smart then Erin is big. Rough people are white. If Erin is kind then Erin is rough. If someone is young then they are kind. All big people are round. White people are big. All kind people are white. All young, round people are kind.
Erin is round.
@0: Erin is kind.[(triple1 OR ((triple3) -> rule4))] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Erin is rough.[(((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Erin is white.[(((triple1) -> rule7) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple3) -> rule4)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3)) -> rule2))] @2: Erin is big.[(((((triple1) -> rule7)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((((triple3) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule2)) -> rule6))] @3: Erin is round.[(((((((triple1) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple3) -> rule4)) -> rule3)) -> rule2)) -> rule6)) -> rule5))]