The bear eats the cow. The cat eats the bear. The cat eats the cow. The cat is kind. The cat sees the cow. The cat visits the mouse. The cow eats the bear. The cow is big. The cow sees the cat. The cow visits the mouse. The mouse eats the bear. The mouse eats the cat. The mouse is kind. The mouse sees the cat. The mouse visits the cat. The mouse visits the cow. If someone is cold then they visit the bear. If someone visits the cat and the cat eats the mouse then they eat the cow. If someone visits the mouse then the mouse sees the cow. If the cow eats the cat then the cat is big. If someone visits the bear then the bear visits the mouse. If someone sees the cow then they eat the mouse. If someone visits the mouse then they are cold. If someone eats the cat and they are cold then the cat visits the bear. If someone sees the bear and they are rough then they see the cow.
The mouse eats the cow.
@0: The bear eats the cow.[(triple1)] The cat eats the bear.[(triple2)] The cat eats the cow.[(triple3)] The cat is kind.[(triple4)] The cat sees the cow.[(triple5)] The cat visits the mouse.[(triple6)] The cow eats the bear.[(triple7)] The cow is big.[(triple8)] The cow sees the cat.[(triple9)] The cow visits the mouse.[(triple10)] The mouse eats the bear.[(triple11)] The mouse eats the cat.[(triple12)] The mouse is kind.[(triple13)] The mouse sees the cat.[(triple14)] The mouse visits the cat.[(triple15)] The mouse visits the cow.[(triple16)] @1: The cat eats the mouse.[(((triple5) -> rule6))] The cat is cold.[(((triple6) -> rule7))] The cow is cold.[(((triple10) -> rule7))] The mouse sees the cow.[(((triple10) -> rule3) OR ((triple6) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule5)) -> rule3))] @2: The cat visits the bear.[(((((triple6) -> rule7)) -> rule1))] The cow visits the bear.[(((((triple10) -> rule7)) -> rule1))] The mouse eats the cow.[(((triple15 ((triple5) -> rule6)) -> rule2))] The mouse eats the mouse.[(((((triple10) -> rule3)) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((((((((triple10) -> rule7)) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((triple6) -> rule7)) -> rule1)) -> rule5)) -> rule3)) -> rule6))] @3: The bear visits the mouse.[(((((((triple10) -> rule7)) -> rule1)) -> rule5) OR ((((((triple6) -> rule7)) -> rule1)) -> rule5))] @4: The bear is cold.[(((((((((triple10) -> rule7)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule7)) -> rule1)) -> rule5)) -> rule7))] @5: The bear visits the bear.[(((((((((((triple10) -> rule7)) -> rule1)) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule7)) -> rule1)) -> rule5)) -> rule7)) -> rule1))]