The bear is nice. The bear visits the rabbit. The cow chases the bear. The cow is not kind. The cow is not nice. The mouse visits the cow. The rabbit chases the mouse. The rabbit is cold. The rabbit is nice. The rabbit likes the cow. If someone is blue then they do not visit the cow. If someone chases the bear then they like the cow. If someone likes the cow and they are not nice then the cow is blue. If someone is cold then they chase the bear. If someone chases the bear and the bear is blue then the bear visits the mouse. If someone visits the mouse and they are not nice then the mouse chases the cow. If someone chases the mouse then the mouse does not visit the rabbit. If someone is blue and they do not chase the cow then they visit the rabbit.
The cow is blue.
@0: The bear is nice.[(triple1)] The bear visits the rabbit.[(triple2)] The cow chases the bear.[(triple3)] The cow is not kind.[(triple4)] The cow is not nice.[(triple5)] The mouse visits the cow.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is nice.[(triple9)] The rabbit likes the cow.[(triple10 OR ((((triple8) -> rule4)) -> rule2))] @1: The cow likes the cow.[(((triple3) -> rule2))] The mouse does not visit the rabbit.[(((triple7) -> rule7))] The rabbit chases the bear.[(((triple8) -> rule4))] @2: The cow is blue.[(((((triple3) -> rule2) triple5) -> rule3))] @3: The cow does not visit the cow.[(((((((triple3) -> rule2) triple5) -> rule3)) -> rule1))]