Erin is green. Erin is kind. Erin is nice. Erin is not red. Erin is round. Harry is nice. Harry is red. All red things are round. If Harry is kind then Harry is not nice.
Harry is not round.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is not red.[(triple4)] Erin is round.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Harry is round.[(((triple7) -> rule1))]