Charlie is kind. Charlie is red. Charlie is round. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is white. If Charlie is red and Charlie is quiet then Charlie is white. If someone is quiet then they are red. Smart people are quiet. If someone is round then they are smart. All white, cold people are round. If Dave is round then Dave is smart.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2 OR ((((((triple3) -> rule4)) -> rule3)) -> rule2))] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6 OR ((triple9) -> rule3) OR ((((triple8) -> rule4)) -> rule3) OR ((((triple8) -> rule6)) -> rule3) OR ((((((triple10 triple4) -> rule5)) -> rule4)) -> rule3) OR ((((((triple10 triple4) -> rule5)) -> rule6)) -> rule3))] Dave is red.[(triple7 OR ((triple6) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((((((triple8) -> rule4)) -> rule3)) -> rule2) OR ((((((triple8) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple10 triple4) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple10 triple4) -> rule5)) -> rule6)) -> rule3)) -> rule2))] Dave is round.[(triple8 OR ((triple10 triple4) -> rule5))] Dave is smart.[(triple9 OR ((triple8) -> rule4) OR ((triple8) -> rule6) OR ((((triple10 triple4) -> rule5)) -> rule4) OR ((((triple10 triple4) -> rule5)) -> rule6))] Dave is white.[(triple10)] @1: Charlie is smart.[(((triple3) -> rule4))] @2: Charlie is quiet.[(((((triple3) -> rule4)) -> rule3))] @3: Charlie is white.[(((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule1))]