Charlie is big. Charlie is nice. Charlie is rough. Charlie is round. Dave is cold. Dave is kind. Erin is big. Erin is kind. Erin is nice. Erin is round. If something is round then it is rough. All young things are round. Kind, cold things are young.
Dave is not round.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3 OR ((triple4) -> rule1))] Charlie is round.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is round.[(triple10)] @1: Dave is young.[(((triple6 triple5) -> rule3))] Erin is rough.[(((triple10) -> rule1))] @2: Dave is round.[(((((triple6 triple5) -> rule3)) -> rule2))] @3: Dave is rough.[(((((((triple6 triple5) -> rule3)) -> rule2)) -> rule1))]