The bear is green. The bear is kind. The bear is red. The bear is rough. The bear is round. Round people are rough. If someone is round and green then they are red. Round people are green. If the bear is green and the bear is red then the bear is rough. Round, rough people are kind. All round people are rough. If the bear is rough and the bear is kind then the bear is green. Round, rough people are green.
The bear does not need the bear.
@0: The bear is green.[(triple1 OR ((triple5) -> rule3) OR ((triple4 triple2) -> rule7) OR ((triple5 triple4) -> rule8) OR ((triple4 ((triple5 triple4) -> rule5)) -> rule7) OR ((triple5 ((triple5) -> rule1)) -> rule8) OR ((triple5 ((triple5) -> rule6)) -> rule8) OR ((((triple5) -> rule1) triple2) -> rule7) OR ((((triple5) -> rule6) triple2) -> rule7) OR ((((triple5) -> rule1) ((triple5 triple4) -> rule5)) -> rule7) OR ((((triple5) -> rule6) ((triple5 triple4) -> rule5)) -> rule7) OR ((triple4 ((triple5 ((triple5) -> rule1)) -> rule5)) -> rule7) OR ((triple4 ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7) OR ((((triple5) -> rule1) ((triple5 ((triple5) -> rule1)) -> rule5)) -> rule7) OR ((((triple5) -> rule1) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule1)) -> rule5)) -> rule7) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7))] The bear is kind.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule5) OR ((triple5 ((triple1 triple3) -> rule4)) -> rule5) OR ((triple5 ((triple1 ((triple5 triple1) -> rule2)) -> rule4)) -> rule5) OR ((triple5 ((((triple5) -> rule3) triple3) -> rule4)) -> rule5) OR ((triple5 ((((triple5) -> rule3) ((triple5 triple1) -> rule2)) -> rule4)) -> rule5) OR ((triple5 ((triple1 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule4)) -> rule5) OR ((triple5 ((((triple5) -> rule3) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule4)) -> rule5))] The bear is red.[(triple3 OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple5) -> rule3)) -> rule2) OR ((triple5 ((triple4 triple2) -> rule7)) -> rule2) OR ((triple5 ((triple5 triple4) -> rule8)) -> rule2) OR ((triple5 ((triple4 ((triple5 triple4) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((triple5 ((triple5) -> rule1)) -> rule8)) -> rule2) OR ((triple5 ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule2) OR ((triple5 ((((triple5) -> rule1) triple2) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule6) triple2) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((triple5 triple4) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule6) ((triple5 triple4) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((triple4 ((triple5 ((triple5) -> rule1)) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((triple4 ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((triple5 ((triple5) -> rule1)) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule6) ((triple5 ((triple5) -> rule1)) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule7)) -> rule2))] The bear is rough.[(triple4 OR ((triple5) -> rule1) OR ((triple5) -> rule6) OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple5 triple1) -> rule2)) -> rule4) OR ((((triple5) -> rule3) triple3) -> rule4) OR ((((triple5) -> rule3) ((triple5 triple1) -> rule2)) -> rule4) OR ((triple1 ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule4) OR ((((triple5) -> rule3) ((triple5 ((triple5) -> rule3)) -> rule2)) -> rule4))] The bear is round.[(triple5)]