Bob is cold. Charlie is furry. Dave is red. Erin is cold. Big things are furry. All cold, round things are big. All round things are cold. If something is cold then it is blue. All furry things are kind. All blue, cold things are big.
Erin is furry.
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Dave is red.[(triple3)] Erin is cold.[(triple4)] @1: Bob is blue.[(((triple1) -> rule4))] Charlie is kind.[(((triple2) -> rule5))] Erin is blue.[(((triple4) -> rule4))] @2: Bob is big.[(((((triple1) -> rule4) triple1) -> rule6))] Erin is big.[(((((triple4) -> rule4) triple4) -> rule6))] @3: Bob is furry.[(((((((triple1) -> rule4) triple1) -> rule6)) -> rule1))] Erin is furry.[(((((((triple4) -> rule4) triple4) -> rule6)) -> rule1))] @4: Bob is kind.[(((((((((triple1) -> rule4) triple1) -> rule6)) -> rule1)) -> rule5))] Erin is kind.[(((((((((triple4) -> rule4) triple4) -> rule6)) -> rule1)) -> rule5))]