Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Charlie is cold. Dave is cold. Dave is quiet. Dave is rough. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. If Anne is kind and Anne is red then Anne is cold. If something is cold then it is red. If something is red then it is kind. Big things are rough. If Erin is quiet then Erin is red. If Charlie is kind and Charlie is red then Charlie is quiet.
Anne is not cold.
@0: Anne is cold.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1))] Anne is kind.[(triple2 OR ((triple5) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple1) -> rule2))] Anne is rough.[(triple6)] Charlie is cold.[(triple7)] Dave is cold.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] Erin is big.[(triple11)] Erin is kind.[(triple12 OR ((triple15) -> rule3) OR ((((triple14) -> rule5)) -> rule3))] Erin is nice.[(triple13)] Erin is quiet.[(triple14)] Erin is red.[(triple15 OR ((triple14) -> rule5))] Erin is rough.[(triple16 OR ((triple11) -> rule4))] @1: Charlie is red.[(((triple7) -> rule2))] Dave is red.[(((triple8) -> rule2))] @2: Charlie is kind.[(((((triple7) -> rule2)) -> rule3))] Dave is kind.[(((((triple8) -> rule2)) -> rule3))] @3: Charlie is quiet.[(((((((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule6))]