Charlie is quiet. Charlie is red. Dave is furry. Dave is kind. Dave is nice. Erin is red. Erin is round. Erin is smart. Fiona is nice. Fiona is smart. Quiet people are nice. All red people are round. If someone is round then they are nice. All kind people are nice. All kind people are nice. If someone is quiet and kind then they are nice.
Dave is not round.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule4) OR ((triple4) -> rule5))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple6) -> rule2))] Erin is smart.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Charlie is nice.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule3))] Charlie is round.[(((triple2) -> rule2))] Erin is nice.[(((triple7) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]