The bear is not kind. The bear is rough. The bear likes the cow. The bear does not need the cat. The cat is not blue. The cat is rough. The cat likes the bear. The cow is kind. The cow likes the cat. The cow does not need the bear. The cow visits the bear. The cow visits the cat. If someone likes the cow and they do not need the cat then the cat needs the bear. If the bear visits the cat then the bear is kind. If someone needs the bear and the bear is rough then they need the cow. If someone needs the cow then they visit the cow. If someone needs the bear and they are blue then they visit the cat. If the cow visits the bear then the bear likes the cat. If someone visits the bear and they are not nice then they like the cat. If the bear visits the cow and the bear is not nice then the cow likes the cat.
The bear likes the bear.
@0: The bear does not need the cat.[(triple4)] The bear is not kind.[(triple1)] The bear is rough.[(triple2)] The bear likes the cow.[(triple3)] The cat is not blue.[(triple5)] The cat is rough.[(triple6)] The cat likes the bear.[(triple7)] The cow does not need the bear.[(triple10)] The cow is kind.[(triple8)] The cow likes the cat.[(triple9)] The cow visits the bear.[(triple11)] The cow visits the cat.[(triple12)] @1: The bear likes the cat.[(((triple11) -> rule6))] The cat needs the bear.[(((triple3 triple4) -> rule1))] @2: The cat needs the cow.[(((((triple3 triple4) -> rule1) triple2) -> rule3))] @3: The cat visits the cow.[(((((((triple3 triple4) -> rule1) triple2) -> rule3)) -> rule4))]