Charlie is green. Charlie is round. Dave is big. Dave is green. Dave is kind. Dave is round. Dave is white. If Dave is kind then Dave is blue. Round, red things are big. If something is round then it is kind. If Charlie is kind then Charlie is red. All big things are green. If Dave is white then Dave is big.
Dave is blue.
@0: Charlie is green.[(triple1 OR ((((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule2)) -> rule5))] Charlie is round.[(triple2)] Dave is big.[(triple3 OR ((triple7) -> rule6))] Dave is green.[(triple4 OR ((triple3) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Dave is kind.[(triple5 OR ((triple6) -> rule3))] Dave is round.[(triple6)] Dave is white.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule3))] Dave is blue.[(((triple5) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] @2: Charlie is red.[(((((triple2) -> rule3)) -> rule4))] @3: Charlie is big.[(((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule2))]