Charlie is blue. Charlie is furry. Fiona is red. If Charlie is furry and Charlie is cold then Charlie is blue. All cold, big people are quiet. If someone is smart and blue then they are cold. If someone is smart then they are red. All furry people are red. All red people are cold. All red people are furry. Quiet, cold people are big.
Charlie is blue.
@0: Charlie is blue.[(triple1 OR ((triple2 ((((triple2) -> rule5)) -> rule6)) -> rule1))] Charlie is furry.[(triple2)] Fiona is red.[(triple3)] @1: Charlie is red.[(((triple2) -> rule5))] Fiona is cold.[(((triple3) -> rule6))] Fiona is furry.[(((triple3) -> rule7))] @2: Charlie is cold.[(((((triple2) -> rule5)) -> rule6))]