Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is smart. All smart, quiet people are big. If someone is quiet and not nice then they are not smart. If someone is nice and smart then they are quiet.
Anne is quiet.
@0: Anne is big.[(triple1 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple4 triple7) -> rule3)) -> rule1))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple4 triple7) -> rule3))] Anne is red.[(triple6)] Anne is smart.[(triple7)] Harry is big.[(triple8 OR ((triple14 triple12) -> rule1) OR ((triple14 ((triple11 triple14) -> rule3)) -> rule1))] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12 OR ((triple11 triple14) -> rule3))] Harry is red.[(triple13)] Harry is smart.[(triple14)]