Anne is big. Anne is furry. Anne is kind. Bob is big. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is big. Charlie is furry. Harry is big. Harry is furry. Harry is red. Harry is smart. All rough, smart people are furry. If Charlie is smart then Charlie is rough. If someone is red then they are furry. Smart, red people are rough. Rough people are red. If someone is big and quiet then they are smart. If Anne is big and Anne is red then Anne is kind. Quiet, furry people are smart.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Bob is big.[(triple4)] Bob is furry.[(triple5 OR ((triple8) -> rule3) OR ((triple9 triple10) -> rule1) OR ((((triple9) -> rule5)) -> rule3) OR ((triple9 ((triple4 triple7) -> rule6)) -> rule1) OR ((((triple10 triple8) -> rule4) triple10) -> rule1) OR ((((triple10 triple8) -> rule4) ((triple4 triple7) -> rule6)) -> rule1) OR ((((((triple4 triple7) -> rule6) triple8) -> rule4) triple10) -> rule1) OR ((((((triple4 triple7) -> rule6) triple8) -> rule4) ((triple4 triple7) -> rule6)) -> rule1))] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is red.[(triple8 OR ((triple9) -> rule5))] Bob is rough.[(triple9 OR ((triple10 triple8) -> rule4) OR ((((triple4 triple7) -> rule6) triple8) -> rule4) OR ((((triple7 triple5) -> rule8) triple8) -> rule4) OR ((((triple7 ((triple8) -> rule3)) -> rule8) triple8) -> rule4))] Bob is smart.[(triple10 OR ((triple4 triple7) -> rule6) OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple8) -> rule3)) -> rule8) OR ((triple7 ((((triple9) -> rule5)) -> rule3)) -> rule8))] Charlie is big.[(triple11)] Charlie is furry.[(triple12)] Harry is big.[(triple13)] Harry is furry.[(triple14 OR ((triple15) -> rule3) OR ((((triple16 triple15) -> rule4) triple16) -> rule1))] Harry is red.[(triple15)] Harry is smart.[(triple16)] @1: Harry is rough.[(((triple16 triple15) -> rule4))]