Anne is cold. Anne is rough. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. Dave is cold. Dave is quiet. Dave is red. Erin is nice. Erin is quiet. Erin is round. Red, nice people are cold. If someone is quiet then they are cold. Red people are nice. If someone is young then they are round. Nice people are young. All young people are cold.
Dave is round.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple6) -> rule4) OR ((((((triple4) -> rule3)) -> rule5)) -> rule4))] Charlie is young.[(triple6 OR ((((triple4) -> rule3)) -> rule5))] Dave is cold.[(triple7 OR ((triple8) -> rule2) OR ((triple9 ((triple9) -> rule3)) -> rule1) OR ((((((triple9) -> rule3)) -> rule5)) -> rule6))] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12 OR ((((triple10) -> rule5)) -> rule4))] @1: Charlie is cold.[(((triple3) -> rule2) OR ((triple6) -> rule6) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule3)) -> rule5)) -> rule6))] Charlie is nice.[(((triple4) -> rule3))] Dave is nice.[(((triple9) -> rule3))] Erin is cold.[(((triple11) -> rule2) OR ((((triple10) -> rule5)) -> rule6))] Erin is young.[(((triple10) -> rule5))] @2: Dave is young.[(((((triple9) -> rule3)) -> rule5))] @3: Dave is round.[(((((((triple9) -> rule3)) -> rule5)) -> rule4))]