Bob is green. Dave is furry. Dave is red. Furry, big people are quiet. All big people are furry. If Bob is green then Bob is big. Big, quiet people are red. Red, furry people are cold. If someone is furry then they are quiet.
Bob is young.
@0: Bob is green.[(triple1)] Dave is furry.[(triple2)] Dave is red.[(triple3)] @1: Bob is big.[(((triple1) -> rule3))] Dave is cold.[(((triple3 triple2) -> rule5))] Dave is quiet.[(((triple2) -> rule6))] @2: Bob is furry.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is quiet.[(((((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1))] @4: Bob is red.[(((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule4) OR ((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1)) -> rule4))] @5: Bob is cold.[(((((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule4) ((((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1)) -> rule4) ((((triple1) -> rule3)) -> rule2)) -> rule5))]