Bob is round. Erin is quiet. Erin is smart. Round things are furry. Round things are nice. All smart things are rough. If something is smart then it is green. Nice things are quiet. If something is rough and smart then it is nice.
Erin is nice.
@0: Bob is round.[(triple1)] Erin is quiet.[(triple2 OR ((((((triple3) -> rule3) triple3) -> rule6)) -> rule5))] Erin is smart.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))] Bob is nice.[(((triple1) -> rule2))] Erin is green.[(((triple3) -> rule4))] Erin is rough.[(((triple3) -> rule3))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule5))] Erin is nice.[(((((triple3) -> rule3) triple3) -> rule6))]