Anne is smart. Fiona is quiet. Gary is nice. All quiet people are red. If someone is nice and not quiet then they are red. All red people are young. If Fiona is smart then Fiona is round. If someone is young and nice then they are round. Nice people are white.
Anne is not smart.
@0: Anne is smart.[(triple1)] Fiona is quiet.[(triple2)] Gary is nice.[(triple3)] @1: Fiona is red.[(((triple2) -> rule1))] Gary is white.[(((triple3) -> rule6))] @2: Fiona is young.[(((((triple2) -> rule1)) -> rule3))]