Erin is green. Erin is kind. Erin is nice. All red people are green. All nice people are not young. Nice people are not young. If Erin is not kind then Erin is nice. All green people are not rough. Green, red people are not big.
Erin is kind.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] @1: Erin is not rough.[(((triple1) -> rule5))] Erin is not young.[(((triple3) -> rule2) OR ((triple3) -> rule3))]