Anne is blue. Anne is cold. Dave is big. Dave is quiet. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is young. If Dave is big then Dave is young. All cold people are young. Big, cold people are not smart. All young people are big. If someone is young and quiet then they are big. If someone is cold and not young then they are green.
Dave is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Dave is big.[(triple3 OR ((triple6) -> rule4) OR ((triple6 triple4) -> rule5))] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6 OR ((triple3) -> rule1))] Erin is big.[(triple7 OR ((triple12) -> rule4) OR ((triple12 triple11) -> rule5) OR ((((triple9) -> rule2)) -> rule4) OR ((((triple9) -> rule2) triple11) -> rule5))] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12 OR ((triple9) -> rule2))] @1: Anne is young.[(((triple2) -> rule2))] Erin is not smart.[(((triple7 triple9) -> rule3) OR ((((triple12) -> rule4) triple9) -> rule3) OR ((((triple12 triple11) -> rule5) triple9) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) triple9) -> rule3) OR ((((((triple9) -> rule2) triple11) -> rule5) triple9) -> rule3))] @2: Anne is big.[(((((triple2) -> rule2)) -> rule4))] @3: Anne is not smart.[(((((((triple2) -> rule2)) -> rule4) triple2) -> rule3))]