Charlie is cold. Charlie is nice. Charlie is round. Charlie is young. Dave is kind. Dave is round. Dave is young. Smart people are big. Cold, nice people are young. Young, kind people are nice. Kind, cold people are big. If Charlie is smart and Charlie is big then Charlie is kind. All cold, nice people are smart.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4 OR ((triple1 triple2) -> rule2))] Dave is kind.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] @1: Charlie is smart.[(((triple1 triple2) -> rule6))] Dave is nice.[(((triple7 triple5) -> rule3))] @2: Charlie is big.[(((((triple1 triple2) -> rule6)) -> rule1))] @3: Charlie is kind.[(((((triple1 triple2) -> rule6) ((((triple1 triple2) -> rule6)) -> rule1)) -> rule5))]