Bob is rough. Erin is young. Harry is rough. If something is green then it is round. If something is rough then it is round. If something is furry then it is round. All rough things are kind. If something is young then it is rough. If Bob is young and Bob is round then Bob is not kind.
Erin is cold.
@0: Bob is rough.[(triple1)] Erin is young.[(triple2)] Harry is rough.[(triple3)] @1: Bob is kind.[(((triple1) -> rule4))] Bob is round.[(((triple1) -> rule2))] Erin is rough.[(((triple2) -> rule5))] Harry is kind.[(((triple3) -> rule4))] Harry is round.[(((triple3) -> rule2))] @2: Erin is kind.[(((((triple2) -> rule5)) -> rule4))] Erin is round.[(((((triple2) -> rule5)) -> rule2))]