Charlie is kind. Charlie is nice. Charlie is young. Dave is furry. Dave is nice. Dave is round. Dave is smart. Fiona is round. Gary is furry. Gary is round. Gary is smart. Gary is young. Green people are round. If someone is nice then they are green. All round people are furry.
Fiona is not green.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule3) OR ((((((triple5) -> rule2)) -> rule1)) -> rule3))] Dave is nice.[(triple5)] Dave is round.[(triple6 OR ((((triple5) -> rule2)) -> rule1))] Dave is smart.[(triple7)] Fiona is round.[(triple8)] Gary is furry.[(triple9 OR ((triple10) -> rule3))] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Charlie is green.[(((triple2) -> rule2))] Dave is green.[(((triple5) -> rule2))] Fiona is furry.[(((triple8) -> rule3))] @2: Charlie is round.[(((((triple2) -> rule2)) -> rule1))] @3: Charlie is furry.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]