The bear is young. The bear likes the mouse. The bear sees the lion. The lion likes the bear. The lion sees the mouse. The lion visits the mouse. The mouse is green. The mouse is nice. The mouse likes the bear. The mouse likes the lion. The mouse sees the lion. The mouse visits the bear. If someone sees the lion and they like the bear then the lion visits the bear. If someone sees the bear and they see the mouse then the bear visits the lion. If someone is green and they see the bear then the bear sees the lion. If someone visits the bear and they visit the lion then the bear sees the lion. If someone sees the lion and the lion visits the bear then they are red. If someone visits the bear and they are red then they are young. If someone is cold then they see the lion. If someone visits the bear and the bear sees the mouse then they are young.
The bear is cold.
@0: The bear is young.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the lion.[(triple3)] The lion likes the bear.[(triple4)] The lion sees the mouse.[(triple5)] The lion visits the mouse.[(triple6)] The mouse is green.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the bear.[(triple9)] The mouse likes the lion.[(triple10)] The mouse sees the lion.[(triple11)] The mouse visits the bear.[(triple12)] @1: The lion visits the bear.[(((triple11 triple9) -> rule1))] @2: The bear is red.[(((triple3 ((triple11 triple9) -> rule1)) -> rule5))] The mouse is red.[(((triple11 ((triple11 triple9) -> rule1)) -> rule5))] @3: The mouse is young.[(((triple12 ((triple11 ((triple11 triple9) -> rule1)) -> rule5)) -> rule6))]