The cat is not blue. The cat is rough. The cat is not round. The cat sees the dog. The dog chases the cat. The dog chases the mouse. The dog is not kind. The dog needs the lion. The lion does not chase the mouse. The lion is blue. The lion needs the dog. The lion sees the cat. The lion sees the dog. The mouse is not kind. The mouse is round. The mouse sees the lion. If someone chases the lion then the lion sees the mouse. If the lion sees the mouse and the mouse sees the dog then the mouse is not blue. If someone chases the lion then they see the cat. If someone chases the mouse then they see the cat. If someone sees the lion then they chase the cat. If the mouse is round then the mouse does not chase the lion. If someone sees the cat and the cat is rough then they need the mouse. If someone needs the mouse and they need the lion then the mouse sees the cat. If someone is round and they need the mouse then the mouse is rough.
The dog does not need the mouse.
@0: The cat is not blue.[(triple1)] The cat is not round.[(triple3)] The cat is rough.[(triple2)] The cat sees the dog.[(triple4)] The dog chases the cat.[(triple5)] The dog chases the mouse.[(triple6)] The dog is not kind.[(triple7)] The dog needs the lion.[(triple8)] The lion does not chase the mouse.[(triple9)] The lion is blue.[(triple10)] The lion needs the dog.[(triple11)] The lion sees the cat.[(triple12)] The lion sees the dog.[(triple13)] The mouse is not kind.[(triple14)] The mouse is round.[(triple15)] The mouse sees the lion.[(triple16)] @1: The dog sees the cat.[(((triple6) -> rule4))] The lion needs the mouse.[(((triple12 triple2) -> rule7))] The mouse chases the cat.[(((triple16) -> rule5))] The mouse does not chase the lion.[(((triple15) -> rule6))] @2: The dog needs the mouse.[(((((triple6) -> rule4) triple2) -> rule7))] @3: The mouse sees the cat.[(((((((triple6) -> rule4) triple2) -> rule7) triple8) -> rule8))] @4: The mouse needs the mouse.[(((((((((triple6) -> rule4) triple2) -> rule7) triple8) -> rule8) triple2) -> rule7))] @5: The mouse is rough.[(((triple15 ((((((((triple6) -> rule4) triple2) -> rule7) triple8) -> rule8) triple2) -> rule7)) -> rule9))]