The cat is rough. The cat is round. The cat does not need the mouse. The cat sees the tiger. The cat visits the mouse. The mouse does not need the tiger. The mouse sees the cat. The tiger is round. The tiger needs the cat. The tiger visits the cat. If the cat sees the tiger then the cat does not need the tiger. If something needs the cat and the cat does not visit the mouse then the cat is rough. If something sees the mouse then it sees the cat. If the tiger sees the cat then the tiger is green. If the mouse sees the cat then the cat sees the mouse. If something sees the cat then the cat is young. If something sees the cat and the cat sees the mouse then it visits the tiger. If something visits the mouse then the mouse sees the tiger.
The tiger does not visit the tiger.
@0: The cat does not need the mouse.[(triple3)] The cat is rough.[(triple1)] The cat is round.[(triple2)] The cat sees the tiger.[(triple4)] The cat visits the mouse.[(triple5)] The mouse does not need the tiger.[(triple6)] The mouse sees the cat.[(triple7)] The tiger is round.[(triple8)] The tiger needs the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat does not need the tiger.[(((triple4) -> rule1))] The cat is young.[(((triple7) -> rule6) OR ((((((triple7) -> rule5)) -> rule3)) -> rule6))] The cat sees the mouse.[(((triple7) -> rule5))] The mouse sees the tiger.[(((triple5) -> rule8))] @2: The cat sees the cat.[(((((triple7) -> rule5)) -> rule3))] The mouse visits the tiger.[(((triple7 ((triple7) -> rule5)) -> rule7))] @3: The cat visits the tiger.[(((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7))]