Anne is big. Anne is furry. Anne is red. Anne is young. Bob is furry. Bob is kind. Bob is red. Bob is round. Bob is young. Charlie is big. Charlie is not furry. Harry is kind. Harry is not red. Harry is round. Harry is white. Harry is not young. If someone is red then they are kind. If someone is white then they are kind. If Charlie is young and Charlie is furry then Charlie is red. If someone is big then they are red. All young people are red. If Anne is big and Anne is round then Anne is red. If someone is white then they are not furry. If someone is red and not young then they are big.
Anne is red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule4) OR ((triple4) -> rule5))] Anne is young.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6 OR ((triple7) -> rule1) OR ((((triple9) -> rule5)) -> rule1))] Bob is red.[(triple7 OR ((triple9) -> rule5))] Bob is round.[(triple8)] Bob is young.[(triple9)] Charlie is big.[(triple10)] Charlie is not furry.[(triple11)] Harry is kind.[(triple12 OR ((triple15) -> rule2))] Harry is not red.[(triple13)] Harry is not young.[(triple16)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Anne is kind.[(((triple3) -> rule1) OR ((((triple1) -> rule4)) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Charlie is red.[(((triple10) -> rule4))] Harry is not furry.[(((triple15) -> rule7))] @2: Charlie is kind.[(((((triple10) -> rule4)) -> rule1))]