The bear is blue. The bear is young. The cow chases the mouse. The cow eats the mouse. The cow does not visit the rabbit. The mouse is not round. The rabbit chases the bear. If something is young and blue then it visits the mouse. If something chases the rabbit and the rabbit does not visit the bear then it does not visit the rabbit. If something chases the rabbit then it visits the rabbit. If something is round then it chases the rabbit. If something chases the rabbit then the rabbit is young. If something chases the bear then the bear eats the rabbit. If something visits the cow then the cow eats the bear. If something eats the bear then the bear is round. If the bear visits the mouse then the bear visits the cow.
The bear does not chase the rabbit.
@0: The bear is blue.[(triple1)] The bear is young.[(triple2)] The cow chases the mouse.[(triple3)] The cow does not visit the rabbit.[(triple5)] The cow eats the mouse.[(triple4)] The mouse is not round.[(triple6)] The rabbit chases the bear.[(triple7)] @1: The bear eats the rabbit.[(((triple7) -> rule6))] The bear visits the mouse.[(((triple2 triple1) -> rule1))] @2: The bear visits the cow.[(((((triple2 triple1) -> rule1)) -> rule9))] @3: The cow eats the bear.[(((((((triple2 triple1) -> rule1)) -> rule9)) -> rule7))] @4: The bear is round.[(((((((((triple2 triple1) -> rule1)) -> rule9)) -> rule7)) -> rule8))] @5: The bear chases the rabbit.[(((((((((((triple2 triple1) -> rule1)) -> rule9)) -> rule7)) -> rule8)) -> rule4))] @6: The bear visits the rabbit.[(((((((((((((triple2 triple1) -> rule1)) -> rule9)) -> rule7)) -> rule8)) -> rule4)) -> rule3))] The rabbit is young.[(((((((((((((triple2 triple1) -> rule1)) -> rule9)) -> rule7)) -> rule8)) -> rule4)) -> rule5))]