Anne is quiet. Bob is blue. Bob is quiet. Bob is round. Bob is smart. Erin is blue. Erin is red. If someone is young and round then they are blue. If someone is quiet and young then they are round. If Bob is white and Bob is red then Bob is round. Quiet people are smart. If someone is round then they are smart. All blue people are round.
Erin is round.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple2) -> rule6))] Bob is smart.[(triple5 OR ((triple3) -> rule4) OR ((triple4) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Erin is blue.[(triple6)] Erin is red.[(triple7)] @1: Anne is smart.[(((triple1) -> rule4))] Erin is round.[(((triple6) -> rule6))] @2: Erin is smart.[(((((triple6) -> rule6)) -> rule5))]