The cat likes the mouse. The cat needs the lion. The cat sees the tiger. The lion is young. The lion sees the mouse. The mouse sees the tiger. The tiger needs the cat. If the lion needs the cat then the lion is big. If someone needs the lion then they are round. If someone is round and they see the tiger then they are big. If someone sees the tiger and the tiger needs the mouse then the tiger is round. If someone likes the tiger and the tiger sees the cat then they see the cat. If someone sees the tiger then they need the lion. If the lion needs the mouse then the lion needs the cat. If someone likes the tiger and they like the mouse then the tiger needs the mouse.
The mouse is not big.
@0: The cat likes the mouse.[(triple1)] The cat needs the lion.[(triple2 OR ((triple3) -> rule6))] The cat sees the tiger.[(triple3)] The lion is young.[(triple4)] The lion sees the mouse.[(triple5)] The mouse sees the tiger.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat is round.[(((triple2) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] The mouse needs the lion.[(((triple6) -> rule6))] @2: The cat is big.[(((((triple2) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule6)) -> rule2) triple3) -> rule3))] The mouse is round.[(((((triple6) -> rule6)) -> rule2))] @3: The mouse is big.[(((((((triple6) -> rule6)) -> rule2) triple6) -> rule3))]