Anne is red. Bob is smart. Dave is nice. Erin is smart. Red people are nice. All smart people are blue. Blue, big people are quiet. If someone is smart and blue then they are red. All red people are quiet. Blue people are quiet.
Anne is smart.
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] Dave is nice.[(triple3)] Erin is smart.[(triple4)] @1: Anne is nice.[(((triple1) -> rule1))] Anne is quiet.[(((triple1) -> rule5))] Bob is blue.[(((triple2) -> rule2))] Erin is blue.[(((triple4) -> rule2))] @2: Bob is quiet.[(((((triple2) -> rule2)) -> rule6) OR ((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule5))] Bob is red.[(((triple2 ((triple2) -> rule2)) -> rule4))] Erin is quiet.[(((((triple4) -> rule2)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule4)) -> rule5))] Erin is red.[(((triple4 ((triple4) -> rule2)) -> rule4))] @3: Bob is nice.[(((((triple2 ((triple2) -> rule2)) -> rule4)) -> rule1))] Erin is nice.[(((((triple4 ((triple4) -> rule2)) -> rule4)) -> rule1))]