Anne is young. Erin is nice. Fiona is nice. Gary is young. If someone is kind then they are not blue. If Erin is not kind then Erin is smart. Young people are red. If Anne is young then Anne is red. If Erin is not blue then Erin is not red. All red people are smart.
Fiona is not nice.
@0: Anne is young.[(triple1)] Erin is nice.[(triple2)] Fiona is nice.[(triple3)] Gary is young.[(triple4)] @1: Anne is red.[(((triple1) -> rule3) OR ((triple1) -> rule4))] Gary is red.[(((triple4) -> rule3))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Gary is smart.[(((((triple4) -> rule3)) -> rule6))]