The bear is cold. The bear visits the dog. The dog is blue. The dog is rough. The dog visits the mouse. The mouse is big. The mouse visits the dog. If someone likes the mouse then they see the mouse. If someone visits the bear then they see the mouse. If someone visits the dog then they see the bear. If the dog likes the mouse and the mouse sees the bear then the dog sees the mouse. If someone sees the mouse and they like the dog then they visit the bear. If someone sees the bear and the bear visits the dog then they like the mouse. If someone sees the mouse and they are cold then they visit the mouse. If someone likes the dog then they like the bear.
The bear visits the dog.
@0: The bear is cold.[(triple1)] The bear visits the dog.[(triple2)] The dog is blue.[(triple3)] The dog is rough.[(triple4)] The dog visits the mouse.[(triple5)] The mouse is big.[(triple6)] The mouse visits the dog.[(triple7)] @1: The bear sees the bear.[(((triple2) -> rule3))] The mouse sees the bear.[(((triple7) -> rule3))] @2: The bear likes the mouse.[(((((triple2) -> rule3) triple2) -> rule6))] The mouse likes the mouse.[(((((triple7) -> rule3) triple2) -> rule6))] @3: The bear sees the mouse.[(((((((triple2) -> rule3) triple2) -> rule6)) -> rule1))] The mouse sees the mouse.[(((((((triple7) -> rule3) triple2) -> rule6)) -> rule1))] @4: The bear visits the mouse.[(((((((((triple2) -> rule3) triple2) -> rule6)) -> rule1) triple1) -> rule7))]