Anne is nice. Anne is quiet. Anne is red. Anne is not smart. Dave is blue. Dave is red. Dave is rough. Gary is quiet. Gary is smart. Harry is not smart. Rough people are quiet. If Anne is smart and Anne is red then Anne is nice. If Anne is rough then Anne is nice. If Dave is smart and Dave is blue then Dave is nice. Blue, green people are not nice. If someone is green and not red then they are blue. All rough people are blue. All quiet people are green.
Dave is green.
@0: Anne is nice.[(triple1)] Anne is not smart.[(triple4)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Dave is blue.[(triple5 OR ((triple7) -> rule7))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Gary is quiet.[(triple8)] Gary is smart.[(triple9)] Harry is not smart.[(triple10)] @1: Anne is green.[(((triple2) -> rule8))] Dave is quiet.[(((triple7) -> rule1))] Gary is green.[(((triple8) -> rule8))] @2: Dave is green.[(((((triple7) -> rule1)) -> rule8))] @3: Dave is not nice.[(((triple5 ((((triple7) -> rule1)) -> rule8)) -> rule5) OR ((((triple7) -> rule7) ((((triple7) -> rule1)) -> rule8)) -> rule5))]