Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Dave is blue. Dave is furry. Dave is kind. Dave is red. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Fiona is furry. Furry, kind people are big. All big, kind people are smart.
Fiona is not smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Erin is big.[(triple9 OR ((triple11 triple12) -> rule1))] Erin is blue.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Erin is red.[(triple14)] Fiona is furry.[(triple15)] @1: Anne is big.[(((triple2 triple3) -> rule1))] Dave is big.[(((triple6 triple7) -> rule1))] Erin is smart.[(((triple9 triple12) -> rule2) OR ((((triple11 triple12) -> rule1) triple12) -> rule2))] @2: Anne is smart.[(((((triple2 triple3) -> rule1) triple3) -> rule2))] Dave is smart.[(((((triple6 triple7) -> rule1) triple7) -> rule2))]