The bear chases the mouse. The bear likes the cat. The bear sees the mouse. The cat chases the bear. The cat chases the mouse. The cat is round. The cat likes the mouse. The cat sees the bear. The mouse chases the cat. The mouse is big. The mouse is nice. The mouse sees the bear. If someone chases the cat then the cat sees the bear. If someone sees the bear and they like the mouse then the mouse is kind. If the mouse likes the cat and the mouse is green then the mouse chases the cat. If someone is green then they like the mouse. If the mouse chases the bear then the bear is big. If the mouse is kind then the mouse is green.
The mouse is green.
@0: The bear chases the mouse.[(triple1)] The bear likes the cat.[(triple2)] The bear sees the mouse.[(triple3)] The cat chases the bear.[(triple4)] The cat chases the mouse.[(triple5)] The cat is round.[(triple6)] The cat likes the mouse.[(triple7)] The cat sees the bear.[(triple8 OR ((triple9) -> rule1))] The mouse chases the cat.[(triple9)] The mouse is big.[(triple10)] The mouse is nice.[(triple11)] The mouse sees the bear.[(triple12)] @1: The mouse is kind.[(((triple8 triple7) -> rule2) OR ((((triple9) -> rule1) triple7) -> rule2))] @2: The mouse is green.[(((((triple8 triple7) -> rule2)) -> rule6) OR ((((((triple9) -> rule1) triple7) -> rule2)) -> rule6))] @3: The mouse likes the mouse.[(((((((triple8 triple7) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple9) -> rule1) triple7) -> rule2)) -> rule6)) -> rule4))]