Bob is young. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Harry is kind. All kind, nice people are rough. If Harry is young then Harry is rough. If Erin is quiet then Erin is round. All rough, nice people are kind. If someone is nice then they are round. If Harry is quiet and Harry is young then Harry is rough. If Bob is kind then Bob is rough. All kind, quiet people are rough.
Harry is round.
@0: Bob is young.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple3) -> rule5) OR ((triple4) -> rule3))] Harry is kind.[(triple7)] @1: Erin is kind.[(((triple5 triple3) -> rule4))]