The bear chases the cow. The bear is cold. The bear is rough. The bear is round. The bear likes the cow. The bear likes the mouse. The bear sees the cow. The bear sees the mouse. The cow is kind. The cow is rough. The cow likes the mouse. The mouse chases the bear. The mouse chases the cow. The mouse likes the cow. The mouse sees the cow. If someone is rough and round then they are cold. If someone sees the cow and the cow chases the mouse then the mouse likes the bear. If someone likes the cow and the cow chases the mouse then the cow likes the mouse. If the bear chases the mouse and the bear is cold then the mouse is round. If someone sees the cow and they chase the cow then the cow is rough. If someone is round and they chase the cow then they chase the mouse.
The mouse is cold.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2 OR ((triple3 triple4) -> rule1))] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear likes the cow.[(triple5)] The bear likes the mouse.[(triple6)] The bear sees the cow.[(triple7)] The bear sees the mouse.[(triple8)] The cow is kind.[(triple9)] The cow is rough.[(triple10 OR ((triple15 triple13) -> rule5) OR ((triple7 triple1) -> rule5))] The cow likes the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse chases the cow.[(triple13)] The mouse likes the cow.[(triple14)] The mouse sees the cow.[(triple15)] @1: The bear chases the mouse.[(((triple4 triple1) -> rule6))] @2: The mouse is round.[(((((triple4 triple1) -> rule6) triple2) -> rule4) OR ((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4))] @3: The mouse chases the mouse.[(((((((triple4 triple1) -> rule6) triple2) -> rule4) triple13) -> rule6) OR ((((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4) triple13) -> rule6))]