Anne is blue. Anne is red. Anne is smart. Bob is not big. Bob is quiet. Bob is red. Fiona is furry. Fiona is green. Fiona is not quiet. Harry is furry. Harry is green. Harry is smart. If someone is green and not quiet then they are smart. If someone is red and not quiet then they are blue. If someone is big and not quiet then they are blue. All smart people are big. If someone is red and not quiet then they are furry. If someone is big then they are furry.
Anne is not big.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is not big.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Fiona is furry.[(triple7 OR ((((((triple8 triple9) -> rule1)) -> rule4)) -> rule6))] Fiona is green.[(triple8)] Fiona is not quiet.[(triple9)] Harry is furry.[(triple10 OR ((((triple12) -> rule4)) -> rule6))] Harry is green.[(triple11)] Harry is smart.[(triple12)] @1: Anne is big.[(((triple3) -> rule4))] Fiona is smart.[(((triple8 triple9) -> rule1))] Harry is big.[(((triple12) -> rule4))] @2: Anne is furry.[(((((triple3) -> rule4)) -> rule6))] Fiona is big.[(((((triple8 triple9) -> rule1)) -> rule4))] @3: Fiona is blue.[(((((((triple8 triple9) -> rule1)) -> rule4) triple9) -> rule3))]