Anne is blue. Anne is green. Anne is red. Anne is smart. Bob is blue. Bob is green. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is smart. If Anne is cold and Anne is big then Anne is red. If someone is red then they are smart. All cold, red people are blue. All blue people are smart. If Erin is cold then Erin is smart. Round people are smart. If Anne is round and Anne is red then Anne is big. Cold, green people are smart.
Erin is red.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4 OR ((triple1) -> rule4) OR ((triple3) -> rule2))] Bob is blue.[(triple5)] Bob is green.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8 OR ((triple9 triple11) -> rule3))] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is red.[(triple11)] Erin is smart.[(triple12 OR ((triple11) -> rule2) OR ((triple8) -> rule4) OR ((triple9) -> rule5) OR ((triple9 triple10) -> rule8) OR ((((triple9 triple11) -> rule3)) -> rule4))] @1: Bob is smart.[(((triple5) -> rule4))]