Fiona is kind. Fiona is white. Gary is kind. All kind things are red. If Fiona is furry then Fiona is quiet. Red, furry things are blue. Big, red things are white. If something is white and quiet then it is blue. If something is red then it is blue. If Fiona is white then Fiona is big. Blue, kind things are quiet.
Gary is blue.
@0: Fiona is kind.[(triple1)] Fiona is white.[(triple2)] Gary is kind.[(triple3)] @1: Fiona is big.[(((triple2) -> rule7))] Fiona is red.[(((triple1) -> rule1))] Gary is red.[(((triple3) -> rule1))] @2: Fiona is blue.[(((((triple1) -> rule1)) -> rule6))] Gary is blue.[(((((triple3) -> rule1)) -> rule6))] @3: Fiona is quiet.[(((((((triple1) -> rule1)) -> rule6) triple1) -> rule8))] Gary is quiet.[(((((((triple3) -> rule1)) -> rule6) triple3) -> rule8))]