Anne is young. Bob is big. Bob is cold. Bob is quiet. Bob is red. Bob is smart. Erin is nice. Erin is quiet. Erin is smart. Erin is young. Quiet people are cold. If Bob is big then Bob is red. If Bob is quiet then Bob is red. Cold, smart people are young. Smart people are nice. If Bob is red then Bob is cold. If Anne is red and Anne is big then Anne is young. If someone is nice then they are cold.
Erin is big.
@0: Anne is young.[(triple1)] Bob is big.[(triple2)] Bob is cold.[(triple3 OR ((triple4) -> rule1) OR ((triple5) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple6) -> rule5)) -> rule8))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule2) OR ((triple4) -> rule3))] Bob is smart.[(triple6)] Erin is nice.[(triple7 OR ((triple9) -> rule5))] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10 OR ((((triple7) -> rule8) triple9) -> rule4) OR ((((triple8) -> rule1) triple9) -> rule4) OR ((((((triple9) -> rule5)) -> rule8) triple9) -> rule4))] @1: Bob is nice.[(((triple6) -> rule5))] Bob is young.[(((triple3 triple6) -> rule4) OR ((((triple4) -> rule1) triple6) -> rule4) OR ((((triple5) -> rule6) triple6) -> rule4) OR ((((((triple2) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple4) -> rule3)) -> rule6) triple6) -> rule4) OR ((((((triple6) -> rule5)) -> rule8) triple6) -> rule4))] Erin is cold.[(((triple7) -> rule8) OR ((triple8) -> rule1) OR ((((triple9) -> rule5)) -> rule8))]