Anne is round. Anne is young. Bob is nice. Bob is not young. Erin is blue. Erin is white. Erin is young. All big people are round. If Bob is nice then Bob is blue. If Bob is nice and Bob is big then Bob is white. If someone is nice and not round then they are not young. If someone is big and round then they are red. White people are red. All round, young people are white. If someone is blue and not young then they are white.
Erin is young.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Bob is nice.[(triple3)] Bob is not young.[(triple4)] Erin is blue.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] @1: Anne is white.[(((triple1 triple2) -> rule7))] Bob is blue.[(((triple3) -> rule2))] Erin is red.[(((triple6) -> rule6))] @2: Anne is red.[(((((triple1 triple2) -> rule7)) -> rule6))] Bob is white.[(((((triple3) -> rule2) triple4) -> rule8))] @3: Bob is red.[(((((((triple3) -> rule2) triple4) -> rule8)) -> rule6))]