Charlie is furry. Charlie is kind. Charlie is quiet. Dave is kind. Fiona is furry. Fiona is kind. Fiona is young. If Charlie is not young then Charlie is quiet. If someone is kind then they are big. If Dave is blue and Dave is big then Dave is round. Round people are furry. Big people are round. If someone is big and not quiet then they are round.
Dave is not furry.
@0: Charlie is furry.[(triple1 OR ((((((triple2) -> rule2)) -> rule5)) -> rule4))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Dave is kind.[(triple4)] Fiona is furry.[(triple5 OR ((((((triple6) -> rule2)) -> rule5)) -> rule4))] Fiona is kind.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is big.[(((triple2) -> rule2))] Dave is big.[(((triple4) -> rule2))] Fiona is big.[(((triple6) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule2)) -> rule5))] Dave is round.[(((((triple4) -> rule2)) -> rule5))] Fiona is round.[(((((triple6) -> rule2)) -> rule5))] @3: Dave is furry.[(((((((triple4) -> rule2)) -> rule5)) -> rule4))]