Charlie is not red. Fiona is kind. Gary is young. All kind people are round. If someone is kind then they are smart. All kind, white people are red. If Fiona is round then Fiona is green. If Fiona is smart and Fiona is not round then Fiona is green. If Fiona is green then Fiona is not red. All red people are not young. Round people are young.
Charlie is not young.
@0: Charlie is not red.[(triple1)] Fiona is kind.[(triple2)] Gary is young.[(triple3)] @1: Fiona is round.[(((triple2) -> rule1))] Fiona is smart.[(((triple2) -> rule2))] @2: Fiona is green.[(((((triple2) -> rule1)) -> rule4))] Fiona is young.[(((((triple2) -> rule1)) -> rule8))] @3: Fiona is not red.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]