The bear eats the cat. The bear is green. The bear is young. The cat is green. The cat does not visit the lion. The lion eats the bear. The lion eats the squirrel. The lion is cold. The squirrel eats the lion. The squirrel needs the cat. If someone is kind and not cold then they are not green. If someone visits the bear and the bear needs the lion then the bear eats the squirrel. If someone is green then they need the cat. If someone is green and they visit the squirrel then the squirrel visits the bear. If someone is round and young then they visit the cat. If the cat needs the lion then the lion is round. If someone needs the cat then they are round. If someone visits the bear and they do not eat the squirrel then they do not eat the lion.
The bear is kind.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is young.[(triple3)] The cat does not visit the lion.[(triple5)] The cat is green.[(triple4)] The lion eats the bear.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is cold.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel needs the cat.[(triple10)] @1: The bear needs the cat.[(((triple2) -> rule3))] The cat needs the cat.[(((triple4) -> rule3))] The squirrel is round.[(((triple10) -> rule7))] @2: The bear is round.[(((((triple2) -> rule3)) -> rule7))] The cat is round.[(((((triple4) -> rule3)) -> rule7))] @3: The bear visits the cat.[(((((((triple2) -> rule3)) -> rule7) triple3) -> rule5))]