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