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