Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is round. Dave is cold. Dave is quiet. Erin is cold. Erin is red. Erin is round. Erin is not smart. Quiet things are smart. Smart, cold things are rough. If something is red and round then it is rough. If something is cold and not quiet then it is rough. All rough things are young. If something is red then it is young. If Dave is cold then Dave is smart. Round things are cold.
Dave is round.
@0: Charlie is cold.[(triple1 OR ((triple4) -> rule8))] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((((triple2) -> rule1) triple1) -> rule2) OR ((((triple2) -> rule1) ((triple4) -> rule8)) -> rule2))] Charlie is round.[(triple4)] Dave is cold.[(triple5)] Dave is quiet.[(triple6)] Erin is cold.[(triple7 OR ((triple9) -> rule8))] Erin is not smart.[(triple10)] Erin is red.[(triple8)] Erin is round.[(triple9)] @1: Charlie is smart.[(((triple2) -> rule1))] Charlie is young.[(((triple3) -> rule5) OR ((((((triple2) -> rule1) triple1) -> rule2)) -> rule5) OR ((((((triple2) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule5))] Dave is smart.[(((triple5) -> rule7) OR ((triple6) -> rule1))] Erin is rough.[(((triple8 triple9) -> rule3))] Erin is young.[(((triple8) -> rule6) OR ((((triple8 triple9) -> rule3)) -> rule5))] @2: Dave is rough.[(((((triple5) -> rule7) triple5) -> rule2) OR ((((triple6) -> rule1) triple5) -> rule2))] @3: Dave is young.[(((((((triple5) -> rule7) triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule1) triple5) -> rule2)) -> rule5))]