The bear is big. The bear sees the lion. The bear visits the lion. The lion is big. The lion is cold. The lion sees the rabbit. The lion visits the rabbit. The mouse likes the lion. The mouse sees the lion. The mouse visits the lion. The rabbit is blue. The rabbit is kind. If something likes the rabbit then it sees the mouse. If something is kind then it likes the rabbit. If something sees the rabbit and the rabbit sees the mouse then it is blue. If something visits the bear and the bear sees the rabbit then the bear likes the rabbit. If something is kind and it likes the mouse then the mouse likes the lion. If the mouse is rough then the mouse likes the rabbit.
The bear is not blue.
@0: The bear is big.[(triple1)] The bear sees the lion.[(triple2)] The bear visits the lion.[(triple3)] The lion is big.[(triple4)] The lion is cold.[(triple5)] The lion sees the rabbit.[(triple6)] The lion visits the rabbit.[(triple7)] The mouse likes the lion.[(triple8)] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] @1: The rabbit likes the rabbit.[(((triple12) -> rule2))] @2: The rabbit sees the mouse.[(((((triple12) -> rule2)) -> rule1))] @3: The lion is blue.[(((triple6 ((((triple12) -> rule2)) -> rule1)) -> rule3))]