Anne is not smart. Anne is young. Bob is not big. Bob is blue. Bob is kind. Bob is not nice. Bob is smart. Harry is kind. Harry is nice. Harry is smart. If Anne is young then Anne is big. If someone is kind then they are smart. If Harry is quiet then Harry is blue. If someone is kind and nice then they are big. All nice people are quiet. Smart people are kind. If Bob is big and Bob is kind then Bob is young. If Anne is smart and Anne is not quiet then Anne is blue.
Anne is not big.
@0: Anne is not smart.[(triple1)] Anne is young.[(triple2)] Bob is blue.[(triple4)] Bob is kind.[(triple5 OR ((triple7) -> rule6))] Bob is not big.[(triple3)] Bob is not nice.[(triple6)] Bob is smart.[(triple7 OR ((triple5) -> rule2))] Harry is kind.[(triple8 OR ((triple10) -> rule6))] Harry is nice.[(triple9)] Harry is smart.[(triple10 OR ((triple8) -> rule2))] @1: Anne is big.[(((triple2) -> rule1))] Harry is big.[(((triple8 triple9) -> rule4) OR ((((triple10) -> rule6) triple9) -> rule4))] Harry is quiet.[(((triple9) -> rule5))] @2: Harry is blue.[(((((triple9) -> rule5)) -> rule3))]