The bear chases the lion. The bear chases the mouse. The bear chases the rabbit. The bear is big. The bear likes the rabbit. The lion is cold. The lion is rough. The lion likes the bear. The mouse is round. The mouse likes the rabbit. The mouse sees the lion. The rabbit chases the bear. The rabbit chases the mouse. The rabbit is big. The rabbit sees the bear. The rabbit sees the mouse. If something sees the rabbit then the rabbit is round. If something chases the mouse then the mouse is cold. If something is cold then it sees the rabbit. If something is round and it sees the rabbit then the rabbit likes the mouse. If the bear sees the rabbit then the bear likes the mouse. If something likes the mouse then it is round.
The bear is not round.
@0: The bear chases the lion.[(triple1)] The bear chases the mouse.[(triple2)] The bear chases the rabbit.[(triple3)] The bear is big.[(triple4)] The bear likes the rabbit.[(triple5)] The lion is cold.[(triple6)] The lion is rough.[(triple7)] The lion likes the bear.[(triple8)] The mouse is round.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse sees the lion.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit is big.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The lion sees the rabbit.[(((triple6) -> rule3))] The mouse is cold.[(((triple13) -> rule2) OR ((triple2) -> rule2))] @2: The mouse sees the rabbit.[(((((triple13) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] The rabbit is round.[(((((triple6) -> rule3)) -> rule1) OR ((((((triple13) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((triple9 ((((triple13) -> rule2)) -> rule3)) -> rule4)) -> rule6) OR ((((triple9 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule6))] @3: The rabbit likes the mouse.[(((triple9 ((((triple13) -> rule2)) -> rule3)) -> rule4) OR ((triple9 ((((triple2) -> rule2)) -> rule3)) -> rule4))]