Anne is big. Anne is furry. Anne is kind. Anne is white. Bob is big. Bob is young. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is young. Harry is cold. Harry is furry. Harry is kind. Harry is white. Harry is young. If something is young then it is quiet. If something is cold and furry then it is white. If something is furry and big then it is kind. Big, white things are furry. If something is big then it is white. White, furry things are big. Kind things are furry. All kind things are white.
Bob is not kind.
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple3) -> rule7)) -> rule6) OR ((((triple3) -> rule8) triple2) -> rule6) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule6))] Anne is furry.[(triple2 OR ((triple3) -> rule7) OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple1) -> rule5)) -> rule4) OR ((triple1 ((triple3) -> rule8)) -> rule4))] Anne is kind.[(triple3 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple4 triple2) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule4) triple1) -> rule3) OR ((((triple1 triple4) -> rule4) ((triple4 triple2) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule3) OR ((((triple1 ((triple1) -> rule5)) -> rule4) ((triple4 triple2) -> rule6)) -> rule3))] Anne is white.[(triple4 OR ((triple1) -> rule5) OR ((triple3) -> rule8) OR ((((triple2 triple1) -> rule3)) -> rule8))] Bob is big.[(triple5)] Bob is young.[(triple6)] Gary is big.[(triple7 OR ((((triple10) -> rule8) triple9) -> rule6) OR ((((triple8 triple9) -> rule2) triple9) -> rule6) OR ((((triple10) -> rule8) ((triple10) -> rule7)) -> rule6) OR ((((triple8 triple9) -> rule2) ((triple10) -> rule7)) -> rule6) OR ((((triple8 ((triple10) -> rule7)) -> rule2) triple9) -> rule6) OR ((((triple8 ((triple10) -> rule7)) -> rule2) ((triple10) -> rule7)) -> rule6))] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((triple10) -> rule7) OR ((triple7 ((triple10) -> rule8)) -> rule4) OR ((triple7 ((triple7) -> rule5)) -> rule4))] Gary is kind.[(triple10 OR ((triple9 triple7) -> rule3) OR ((triple9 ((((triple8 triple9) -> rule2) triple9) -> rule6)) -> rule3) OR ((((triple7 ((triple7) -> rule5)) -> rule4) triple7) -> rule3) OR ((((triple7 ((triple7) -> rule5)) -> rule4) ((((triple8 triple9) -> rule2) triple9) -> rule6)) -> rule3))] Gary is young.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple14) -> rule7))] Harry is kind.[(triple14 OR ((triple13 ((triple15 triple13) -> rule6)) -> rule3) OR ((triple13 ((((triple12 triple13) -> rule2) triple13) -> rule6)) -> rule3))] Harry is white.[(triple15 OR ((triple14) -> rule8) OR ((triple12 triple13) -> rule2) OR ((triple12 ((triple14) -> rule7)) -> rule2))] Harry is young.[(triple16)] @1: Bob is quiet.[(((triple6) -> rule1))] Bob is white.[(((triple5) -> rule5))] Gary is quiet.[(((triple11) -> rule1))] Gary is white.[(((triple10) -> rule8) OR ((triple7) -> rule5) OR ((triple8 triple9) -> rule2) OR ((((triple9 triple7) -> rule3)) -> rule8) OR ((triple8 ((triple10) -> rule7)) -> rule2))] Harry is big.[(((triple15 triple13) -> rule6) OR ((triple15 ((triple14) -> rule7)) -> rule6) OR ((((triple14) -> rule8) triple13) -> rule6) OR ((((triple12 triple13) -> rule2) triple13) -> rule6) OR ((((triple14) -> rule8) ((triple14) -> rule7)) -> rule6) OR ((((triple12 triple13) -> rule2) ((triple14) -> rule7)) -> rule6) OR ((((triple12 ((triple14) -> rule7)) -> rule2) triple13) -> rule6) OR ((((triple12 ((triple14) -> rule7)) -> rule2) ((triple14) -> rule7)) -> rule6))] Harry is quiet.[(((triple16) -> rule1))] @2: Bob is furry.[(((triple5 ((triple5) -> rule5)) -> rule4))] @3: Bob is kind.[(((((triple5 ((triple5) -> rule5)) -> rule4) triple5) -> rule3))]