Bob is green. Charlie is furry. Erin is round. If Bob is green then Bob is furry. Big, blue things are round. All round, big things are furry. If Charlie is green and Charlie is round then Charlie is blue. Furry, big things are white. If Charlie is furry then Charlie is kind. If something is blue then it is green. All kind things are big.
Charlie is not blue.
@0: Bob is green.[(triple1)] Charlie is furry.[(triple2)] Erin is round.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))] Charlie is kind.[(((triple2) -> rule6))] @2: Charlie is big.[(((((triple2) -> rule6)) -> rule8))] @3: Charlie is white.[(((triple2 ((((triple2) -> rule6)) -> rule8)) -> rule5))]