The bear is red. The cow chases the bear. The lion likes the bear. The squirrel chases the bear. If someone chases the lion then the lion is not blue. If someone sees the lion then they do not like the bear. Red people are kind. If someone chases the bear and the bear chases the lion then they see the squirrel. If someone likes the bear and the bear is not rough then they do not like the cow. If someone is red then they like the cow. If the squirrel chases the bear and the bear is kind then the bear sees the lion. If someone likes the bear then the bear is blue.
The lion likes the cow.
@0: The bear is red.[(triple1)] The cow chases the bear.[(triple2)] The lion likes the bear.[(triple3)] The squirrel chases the bear.[(triple4)] @1: The bear is blue.[(((triple3) -> rule8))] The bear is kind.[(((triple1) -> rule3))] The bear likes the cow.[(((triple1) -> rule6))] @2: The bear sees the lion.[(((triple4 ((triple1) -> rule3)) -> rule7))] @3: The bear does not like the bear.[(((((triple4 ((triple1) -> rule3)) -> rule7)) -> rule2))]