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