The bear chases the cat. The bear is green. The bear likes the cat. The bear needs the cat. The bear needs the mouse. The cat is kind. The cat is young. The cat likes the mouse. The cat needs the bear. The mouse chases the bear. The mouse chases the cat. The mouse is kind. The mouse is young. The mouse likes the bear. The mouse needs the bear. The mouse needs the cat. If someone is kind and green then they need the cat. Kind people are blue. If someone chases the cat then they are blue. If someone chases the bear and they are kind then they like the cat. If someone likes the cat and the cat chases the mouse then the cat chases the bear. If the cat chases the bear then the cat needs the mouse. If the mouse chases the bear then the mouse likes the bear. If someone is blue and they chase the cat then the cat chases the bear.
The cat does not chase the bear.
@0: The bear chases the cat.[(triple1)] The bear is green.[(triple2)] The bear likes the cat.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the mouse.[(triple5)] The cat is kind.[(triple6)] The cat is young.[(triple7)] The cat likes the mouse.[(triple8)] The cat needs the bear.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is kind.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bear.[(triple14 OR ((triple10) -> rule7))] The mouse needs the bear.[(triple15)] The mouse needs the cat.[(triple16)] @1: The bear is blue.[(((triple1) -> rule3))] The cat is blue.[(((triple6) -> rule2))] The mouse is blue.[(((triple11) -> rule3) OR ((triple12) -> rule2))] The mouse likes the cat.[(((triple10 triple12) -> rule4))] @2: The cat chases the bear.[(((((triple1) -> rule3) triple1) -> rule8) OR ((((triple11) -> rule3) triple11) -> rule8) OR ((((triple12) -> rule2) triple11) -> rule8))] @3: The cat likes the cat.[(((((((triple1) -> rule3) triple1) -> rule8) triple6) -> rule4) OR ((((((triple11) -> rule3) triple11) -> rule8) triple6) -> rule4) OR ((((((triple12) -> rule2) triple11) -> rule8) triple6) -> rule4))] The cat needs the mouse.[(((((((triple1) -> rule3) triple1) -> rule8)) -> rule6) OR ((((((triple11) -> rule3) triple11) -> rule8)) -> rule6) OR ((((((triple12) -> rule2) triple11) -> rule8)) -> rule6))]