Anne is furry. Anne is green. Anne is red. Anne is round. Bob is furry. Bob is green. Erin is not green. Erin is not kind. Erin is red. Erin is round. Harry is big. Harry is furry. Harry is green. Harry is not quiet. Harry is red. Harry is round. All big people are furry. If Anne is big then Anne is green. If Harry is quiet then Harry is kind. If Anne is round and Anne is big then Anne is quiet. All green, kind people are quiet. If someone is big and green then they are round. If someone is big and not furry then they are not round. If someone is quiet and furry then they are green.
Bob is red.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6)] Erin is not green.[(triple7)] Erin is not kind.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] Harry is big.[(triple11)] Harry is furry.[(triple12 OR ((triple11) -> rule1))] Harry is green.[(triple13)] Harry is not quiet.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16 OR ((triple11 triple13) -> rule6))]