Bob is white. Charlie is white. Dave is red. Fiona is blue. If Charlie is blue and Charlie is green then Charlie is big. If something is blue then it is green. If something is red then it is kind. All kind, white things are green. If something is big and green then it is red. If Fiona is nice then Fiona is green. All blue, green things are red. If something is big then it is red.
Bob is not white.
@0: Bob is white.[(triple1)] Charlie is white.[(triple2)] Dave is red.[(triple3)] Fiona is blue.[(triple4)] @1: Dave is kind.[(((triple3) -> rule3))] Fiona is green.[(((triple4) -> rule2))] @2: Fiona is red.[(((triple4 ((triple4) -> rule2)) -> rule7))] @3: Fiona is kind.[(((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule3))]