Anne is kind. Anne is nice. Anne is quiet. Anne is white. Anne is young. Erin is not nice. Fiona is not cold. Fiona is quiet. Fiona is smart. Fiona is white. If Erin is cold and Erin is kind then Erin is not nice. If Anne is cold then Anne is nice. If someone is smart then they are nice. Kind people are young. All quiet, smart people are young. If Anne is cold and Anne is smart then Anne is young.
Erin is not young.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple1) -> rule4))] Erin is not nice.[(triple6)] Fiona is not cold.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is nice.[(((triple9) -> rule3))] Fiona is young.[(((triple8 triple9) -> rule5))]