The bear is cold. The cow eats the bear. The cow eats the mouse. The cow is big. The cow is red. The cow sees the mouse. The cow visits the lion. The cow visits the mouse. The lion is cold. The lion visits the bear. The mouse eats the bear. The mouse eats the lion. The mouse is big. The mouse is blue. The mouse is red. The mouse sees the bear. If the cow eats the mouse then the mouse is round. If someone sees the cow and the cow sees the bear then they eat the cow. If the lion is round then the lion visits the cow. If someone eats the cow then they see the lion. If someone is red and they visit the mouse then the mouse is big. If someone visits the mouse and the mouse sees the lion then the mouse sees the cow. If someone eats the mouse and they visit the bear then the mouse visits the cow. If the mouse is blue and the mouse is red then the mouse eats the cow.
The mouse eats the cow.
@0: The bear is cold.[(triple1)] The cow eats the bear.[(triple2)] The cow eats the mouse.[(triple3)] The cow is big.[(triple4)] The cow is red.[(triple5)] The cow sees the mouse.[(triple6)] The cow visits the lion.[(triple7)] The cow visits the mouse.[(triple8)] The lion is cold.[(triple9)] The lion visits the bear.[(triple10)] The mouse eats the bear.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is big.[(triple13 OR ((triple5 triple8) -> rule5))] The mouse is blue.[(triple14)] The mouse is red.[(triple15)] The mouse sees the bear.[(triple16)] @1: The mouse eats the cow.[(((triple14 triple15) -> rule8))] The mouse is round.[(((triple3) -> rule1))] @2: The mouse sees the lion.[(((((triple14 triple15) -> rule8)) -> rule4))] @3: The mouse sees the cow.[(((triple8 ((((triple14 triple15) -> rule8)) -> rule4)) -> rule6))]