Anne is kind. Anne is red. Anne is round. Charlie is blue. Charlie is quiet. Charlie is red. Dave is blue. Erin is quiet. Erin is red. Erin is smart. If something is round then it is rough. Smart things are kind. If something is rough then it is kind. All blue things are red. Red things are round. All kind, blue things are round. If Dave is kind and Dave is rough then Dave is quiet.
Dave is kind.
@0: Anne is kind.[(triple1 OR ((((triple3) -> rule1)) -> rule3) OR ((((((triple2) -> rule5)) -> rule1)) -> rule3))] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule5))] Charlie is blue.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple4) -> rule4))] Dave is blue.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] @1: Anne is rough.[(((triple3) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Charlie is round.[(((triple6) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] Dave is red.[(((triple7) -> rule4))] Erin is kind.[(((triple10) -> rule2) OR ((((((triple9) -> rule5)) -> rule1)) -> rule3))] Erin is round.[(((triple9) -> rule5))] @2: Charlie is rough.[(((((triple6) -> rule5)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5)) -> rule1))] Dave is round.[(((((triple7) -> rule4)) -> rule5))] Erin is rough.[(((((triple9) -> rule5)) -> rule1))] @3: Charlie is kind.[(((((((triple6) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3))] Dave is rough.[(((((((triple7) -> rule4)) -> rule5)) -> rule1))] @4: Dave is kind.[(((((((((triple7) -> rule4)) -> rule5)) -> rule1)) -> rule3))] @5: Dave is quiet.[(((((((((((triple7) -> rule4)) -> rule5)) -> rule1)) -> rule3) ((((((triple7) -> rule4)) -> rule5)) -> rule1)) -> rule7))]