Bob is blue. Erin is furry. Fiona is blue. Smart people are blue. If Fiona is smart then Fiona is big. Furry people are red. If someone is red and furry then they are white. Blue, white people are big. Furry people are smart.
Fiona is white.
@0: Bob is blue.[(triple1)] Erin is furry.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is red.[(((triple2) -> rule3))] Erin is smart.[(((triple2) -> rule6))] @2: Erin is blue.[(((((triple2) -> rule6)) -> rule1))] Erin is white.[(((((triple2) -> rule3) triple2) -> rule4))] @3: Erin is big.[(((((((triple2) -> rule6)) -> rule1) ((((triple2) -> rule3) triple2) -> rule4)) -> rule5))]