Charlie is red. Dave is blue. Erin is red. Fiona is kind. If Charlie is red and Charlie is not round then Charlie is blue. If Erin is young and Erin is blue then Erin is kind. If someone is blue then they are kind. If Charlie is young and Charlie is not smart then Charlie is red. Kind people are not green. If someone is smart then they are red.
Fiona is red.
@0: Charlie is red.[(triple1)] Dave is blue.[(triple2)] Erin is red.[(triple3)] Fiona is kind.[(triple4)] @1: Dave is kind.[(((triple2) -> rule3))] Fiona is not green.[(((triple4) -> rule5))] @2: Dave is not green.[(((((triple2) -> rule3)) -> rule5))]