Anne is blue. Anne is red. Charlie is kind. Charlie is round. Erin is cold. Erin is kind. Fiona is kind. All red, young people are blue. If Anne is smart then Anne is cold. Young people are smart. All blue people are round. If Fiona is round then Fiona is kind. If Anne is cold then Anne is kind. If Erin is young and Erin is blue then Erin is kind. All round people are young.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Fiona is kind.[(triple7)] @1: Anne is round.[(((triple1) -> rule4))] Charlie is young.[(((triple4) -> rule8))] @2: Anne is young.[(((((triple1) -> rule4)) -> rule8))] Charlie is smart.[(((((triple4) -> rule8)) -> rule3))] @3: Anne is smart.[(((((((triple1) -> rule4)) -> rule8)) -> rule3))] @4: Anne is cold.[(((((((((triple1) -> rule4)) -> rule8)) -> rule3)) -> rule2))] @5: Anne is kind.[(((((((((((triple1) -> rule4)) -> rule8)) -> rule3)) -> rule2)) -> rule6))]