The bear is nice. The bear visits the tiger. The dog does not chase the bear. The dog sees the mouse. The mouse does not chase the bear. The mouse is nice. The mouse is round. The mouse is young. The mouse visits the bear. The tiger chases the bear. The tiger sees the mouse. If someone chases the mouse and they see the tiger then the tiger is round. If the dog sees the mouse then the dog visits the tiger. If someone chases the mouse then they see the bear. If someone is nice and cold then they chase the mouse. If someone visits the mouse and they see the mouse then the mouse visits the dog. If the mouse visits the dog then the dog does not visit the bear. If someone sees the bear then they visit the dog. All nice people are cold.
The bear is green.
@0: The bear is nice.[(triple1)] The bear visits the tiger.[(triple2)] The dog does not chase the bear.[(triple3)] The dog sees the mouse.[(triple4)] The mouse does not chase the bear.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7)] The mouse is young.[(triple8)] The mouse visits the bear.[(triple9)] The tiger chases the bear.[(triple10)] The tiger sees the mouse.[(triple11)] @1: The bear is cold.[(((triple1) -> rule8))] The dog visits the tiger.[(((triple4) -> rule2))] The mouse is cold.[(((triple6) -> rule8))] @2: The bear chases the mouse.[(((triple1 ((triple1) -> rule8)) -> rule4))] The mouse chases the mouse.[(((triple6 ((triple6) -> rule8)) -> rule4))] @3: The bear sees the bear.[(((((triple1 ((triple1) -> rule8)) -> rule4)) -> rule3))] The mouse sees the bear.[(((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule3))] @4: The bear visits the dog.[(((((((triple1 ((triple1) -> rule8)) -> rule4)) -> rule3)) -> rule7))] The mouse visits the dog.[(((((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule7))] @5: The dog does not visit the bear.[(((((((((triple6 ((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule7)) -> rule6))]