Anne is kind. Anne is quiet. Anne is red. Charlie is blue. Charlie is kind. Charlie is young. Dave is red. Dave is smart. Dave is young. Gary is young. If Anne is not round and Anne is not young then Anne is quiet. All quiet things are smart. If Gary is young then Gary is quiet. All blue things are quiet. If Charlie is smart then Charlie is not red. If something is round then it is kind.
Dave is blue.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is young.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Gary is young.[(triple10)] @1: Anne is smart.[(((triple2) -> rule2))] Charlie is quiet.[(((triple4) -> rule4))] Gary is quiet.[(((triple10) -> rule3))] @2: Charlie is smart.[(((((triple4) -> rule4)) -> rule2))] Gary is smart.[(((((triple10) -> rule3)) -> rule2))] @3: Charlie is not red.[(((((((triple4) -> rule4)) -> rule2)) -> rule5))]