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