Bob is big. Charlie is not furry. Dave is quiet. All cold, big people are round. If someone is cold then they are round. Big people are cold. If Charlie is not round then Charlie is quiet. Round, big people are green. Quiet people are green.
Dave is not smart.
@0: Bob is big.[(triple1)] Charlie is not furry.[(triple2)] Dave is quiet.[(triple3)] @1: Bob is cold.[(((triple1) -> rule3))] Dave is green.[(((triple3) -> rule6))] @2: Bob is round.[(((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule1))] @3: Bob is green.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule5) OR ((((((triple1) -> rule3) triple1) -> rule1) triple1) -> rule5))]