Charlie is big. Charlie is blue. Charlie is furry. Charlie is not quiet. Charlie is young. Dave is blue. Dave is nice. Dave is not quiet. Dave is young. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is young. If Charlie is big then Charlie is young. Green, quiet people are not big. All furry people are green. If someone is blue then they are furry. If someone is nice and not furry then they are young. Quiet, big people are young.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple2) -> rule4))] Charlie is not quiet.[(triple4)] Charlie is young.[(triple5 OR ((triple1) -> rule1))] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Dave is not quiet.[(triple8)] Dave is young.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple11) -> rule4))] Harry is green.[(triple13 OR ((triple12) -> rule3) OR ((((triple11) -> rule4)) -> rule3))] Harry is nice.[(triple14)] Harry is young.[(triple15)] @1: Charlie is green.[(((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule3))] Dave is furry.[(((triple6) -> rule4))] @2: Dave is green.[(((((triple6) -> rule4)) -> rule3))]