Charlie is furry. Charlie is round. Dave is big. Dave is quiet. Dave is round. Dave is young. Erin is furry. Fiona is big. Fiona is furry. Fiona is young. All round people are nice. All furry people are quiet. All round, quiet people are big.
Erin is not nice.
@0: Charlie is furry.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3 OR ((triple5 triple4) -> rule3))] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Erin is furry.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is nice.[(((triple2) -> rule1))] Charlie is quiet.[(((triple1) -> rule2))] Dave is nice.[(((triple5) -> rule1))] Erin is quiet.[(((triple7) -> rule2))] Fiona is quiet.[(((triple9) -> rule2))] @2: Charlie is big.[(((triple2 ((triple1) -> rule2)) -> rule3))]