Dave is cold. Dave is nice. Dave is rough. Dave is smart. Dave is white. Erin is cold. Erin is nice. All red, smart people are cold. If someone is smart and red then they are rough. Quiet, rough people are nice. If Erin is nice and Erin is quiet then Erin is red. If Dave is white then Dave is rough. Cold, red people are smart. If someone is cold and rough then they are red. All white people are red.
Dave is cold.
@0: Dave is cold.[(triple1 OR ((((triple5) -> rule8) triple4) -> rule1))] Dave is nice.[(triple2)] Dave is rough.[(triple3 OR ((triple5) -> rule5) OR ((triple4 ((triple5) -> rule8)) -> rule2) OR ((((triple1 ((triple5) -> rule8)) -> rule6) ((triple5) -> rule8)) -> rule2))] Dave is smart.[(triple4 OR ((triple1 ((triple5) -> rule8)) -> rule6) OR ((triple1 ((triple1 triple3) -> rule7)) -> rule6) OR ((triple1 ((triple1 ((triple5) -> rule5)) -> rule7)) -> rule6))] Dave is white.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] @1: Dave is red.[(((triple5) -> rule8) OR ((triple1 triple3) -> rule7) OR ((triple1 ((triple5) -> rule5)) -> rule7))]