Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. Young, red things are round. If something is red then it is young. All smart things are rough. If something is kind then it is red. If Erin is kind then Erin is smart. If something is kind and not round then it is quiet.
Erin is not kind.
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3 OR ((triple1) -> rule4))] Erin is rough.[(triple4 OR ((triple6) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Erin is round.[(triple5 OR ((triple7 triple3) -> rule1) OR ((triple7 ((triple1) -> rule4)) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1) OR ((((triple3) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4)) -> rule2) triple3) -> rule1) OR ((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule1))] Erin is smart.[(triple6 OR ((triple1) -> rule5))] Erin is young.[(triple7 OR ((triple3) -> rule2) OR ((((triple1) -> rule4)) -> rule2))]