Anne is nice. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is not quiet. Dave is not smart. Erin is blue. Erin is smart. Fiona is not big. Fiona is quiet. Furry things are not nice. All quiet things are furry. If something is blue and not furry then it is smart. If something is blue and green then it is big. If Dave is smart and Dave is big then Dave is green. If something is quiet and not nice then it is not blue.
Fiona is quiet.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3 OR ((triple4 triple5) -> rule4))] Dave is blue.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is not quiet.[(triple7)] Dave is not smart.[(triple8)] Erin is blue.[(triple9)] Erin is smart.[(triple10)] Fiona is not big.[(triple11)] Fiona is quiet.[(triple12)] @1: Fiona is furry.[(((triple12) -> rule2))] @2: Fiona is not nice.[(((((triple12) -> rule2)) -> rule1))] @3: Fiona is not blue.[(((triple12 ((((triple12) -> rule2)) -> rule1)) -> rule6))]