The bear chases the mouse. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear needs the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is red. The mouse is round. The mouse needs the bear. The mouse visits the bear. If someone visits the mouse then the mouse visits the bear. If someone needs the bear and they chase the bear then the bear visits the mouse. If someone visits the bear and the bear visits the mouse then they need the mouse. If the mouse chases the bear then the bear is kind. Blue people are kind. If someone needs the mouse then they visit the bear. If someone visits the mouse then the mouse needs the bear. If someone chases the mouse then the mouse chases the bear.
The bear is blue.
@0: The bear chases the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3 OR ((triple2) -> rule5) OR ((triple9) -> rule4) OR ((((triple1) -> rule8)) -> rule4))] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear needs the mouse.[(triple7)] The bear visits the mouse.[(triple8 OR ((triple15 triple9) -> rule2) OR ((triple15 ((triple1) -> rule8)) -> rule2))] The mouse chases the bear.[(triple9 OR ((triple1) -> rule8))] The mouse is blue.[(triple10)] The mouse is kind.[(triple11 OR ((triple10) -> rule5))] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse is round.[(triple14)] The mouse needs the bear.[(triple15 OR ((triple8) -> rule7))] The mouse visits the bear.[(triple16 OR ((triple8) -> rule1) OR ((((triple15 triple9) -> rule2)) -> rule1) OR ((((triple15 ((triple1) -> rule8)) -> rule2)) -> rule1))] @1: The bear visits the bear.[(((triple7) -> rule6))] The mouse needs the mouse.[(((triple16 triple8) -> rule3) OR ((triple16 ((triple15 triple9) -> rule2)) -> rule3) OR ((((triple8) -> rule1) triple8) -> rule3) OR ((((triple8) -> rule1) ((triple15 triple9) -> rule2)) -> rule3) OR ((triple16 ((triple15 ((triple1) -> rule8)) -> rule2)) -> rule3) OR ((((((triple15 triple9) -> rule2)) -> rule1) triple8) -> rule3) OR ((((triple8) -> rule1) ((triple15 ((triple1) -> rule8)) -> rule2)) -> rule3) OR ((((((triple15 triple9) -> rule2)) -> rule1) ((triple15 triple9) -> rule2)) -> rule3) OR ((((((triple15 triple9) -> rule2)) -> rule1) ((triple15 ((triple1) -> rule8)) -> rule2)) -> rule3) OR ((((((triple15 ((triple1) -> rule8)) -> rule2)) -> rule1) triple8) -> rule3) OR ((((((triple15 ((triple1) -> rule8)) -> rule2)) -> rule1) ((triple15 triple9) -> rule2)) -> rule3) OR ((((((triple15 ((triple1) -> rule8)) -> rule2)) -> rule1) ((triple15 ((triple1) -> rule8)) -> rule2)) -> rule3))]