Bob is not furry. Bob is smart. Erin is cold. Erin is nice. Erin is round. Harry is cold. Harry is round. If someone is round and not cold then they are not furry. Round, nice people are smart. If someone is cold and green then they are nice. All round people are green. If Bob is cold and Bob is quiet then Bob is not smart. Round, cold people are quiet.
Erin is not round.
@0: Bob is not furry.[(triple1)] Bob is smart.[(triple2)] Erin is cold.[(triple3)] Erin is nice.[(triple4 OR ((triple3 ((triple5) -> rule4)) -> rule3))] Erin is round.[(triple5)] Harry is cold.[(triple6)] Harry is round.[(triple7)] @1: Erin is green.[(((triple5) -> rule4))] Erin is quiet.[(((triple5 triple3) -> rule6))] Erin is smart.[(((triple5 triple4) -> rule2) OR ((triple5 ((triple3 ((triple5) -> rule4)) -> rule3)) -> rule2))] Harry is green.[(((triple7) -> rule4))] Harry is quiet.[(((triple7 triple6) -> rule6))] @2: Harry is nice.[(((triple6 ((triple7) -> rule4)) -> rule3))] @3: Harry is smart.[(((triple7 ((triple6 ((triple7) -> rule4)) -> rule3)) -> rule2))]