Anne is cold. Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is quiet. Bob is rough. Bob is white. Bob is young. Dave is not red. Dave is rough. Dave is young. Erin is not quiet. Erin is red. Erin is not smart. All rough people are smart. All quiet people are young. If someone is white and cold then they are rough. If Erin is smart then Erin is not red. All young, quiet people are not cold. Smart people are white.
Erin is not rough.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2 OR ((triple4 triple1) -> rule3) OR ((((triple3) -> rule6) triple1) -> rule3))] Anne is smart.[(triple3 OR ((triple2) -> rule1) OR ((((triple4 triple1) -> rule3)) -> rule1))] Anne is white.[(triple4 OR ((triple3) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Anne is young.[(triple5)] Bob is quiet.[(triple6)] Bob is rough.[(triple7)] Bob is white.[(triple8 OR ((((triple7) -> rule1)) -> rule6))] Bob is young.[(triple9 OR ((triple6) -> rule2))] Dave is not red.[(triple10)] Dave is rough.[(triple11)] Dave is young.[(triple12)] Erin is not quiet.[(triple13)] Erin is not smart.[(triple15)] Erin is red.[(triple14)] @1: Bob is not cold.[(((triple9 triple6) -> rule5) OR ((((triple6) -> rule2) triple6) -> rule5))] Bob is smart.[(((triple7) -> rule1))] Dave is smart.[(((triple11) -> rule1))] @2: Dave is white.[(((((triple11) -> rule1)) -> rule6))]