The cat chases the cow. The cat chases the mouse. The cat is nice. The cat is red. The cat is rough. The cat needs the lion. The cat does not need the mouse. The cat visits the mouse. The cow does not chase the cat. The cow is big. The lion chases the cat. The lion chases the cow. The lion is young. The lion visits the cow. The mouse is big. The mouse is rough. If someone needs the lion then the lion does not need the mouse. If someone visits the cat then they are not big. If someone is rough then they visit the mouse. If the cow visits the lion and the cow is big then the lion does not need the cat. If someone visits the mouse then they are red. If someone chases the cow and they do not need the mouse then the cow is rough. If someone is red then they visit the lion. If someone is red and they chase the lion then the lion is red. If someone chases the mouse and they are red then the mouse needs the cat.
The mouse does not chase the cat.
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat does not need the mouse.[(triple7)] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple8) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] The cat is rough.[(triple5)] The cat needs the lion.[(triple6)] The cat visits the mouse.[(triple8 OR ((triple5) -> rule3))] The cow does not chase the cat.[(triple9)] The cow is big.[(triple10)] The lion chases the cat.[(triple11)] The lion chases the cow.[(triple12)] The lion is young.[(triple13)] The lion visits the cow.[(triple14)] The mouse is big.[(triple15)] The mouse is rough.[(triple16)] @1: The cat visits the lion.[(((triple4) -> rule7) OR ((((triple8) -> rule5)) -> rule7) OR ((((((triple5) -> rule3)) -> rule5)) -> rule7))] The cow is rough.[(((triple1 triple7) -> rule6) OR ((triple12 ((triple6) -> rule1)) -> rule6))] The lion does not need the mouse.[(((triple6) -> rule1))] The mouse needs the cat.[(((triple2 triple4) -> rule9) OR ((triple2 ((triple8) -> rule5)) -> rule9) OR ((triple2 ((((triple5) -> rule3)) -> rule5)) -> rule9))] The mouse visits the mouse.[(((triple16) -> rule3))] @2: The cow visits the mouse.[(((((triple1 triple7) -> rule6)) -> rule3) OR ((((triple12 ((triple6) -> rule1)) -> rule6)) -> rule3))] The mouse is red.[(((((triple16) -> rule3)) -> rule5))] @3: The cow is red.[(((((((triple1 triple7) -> rule6)) -> rule3)) -> rule5) OR ((((((triple12 ((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule5))] The mouse visits the lion.[(((((((triple16) -> rule3)) -> rule5)) -> rule7))] @4: The cow visits the lion.[(((((((((triple1 triple7) -> rule6)) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple12 ((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule5)) -> rule7))] @5: The lion does not need the cat.[(((((((((((triple1 triple7) -> rule6)) -> rule3)) -> rule5)) -> rule7) triple10) -> rule4) OR ((((((((((triple12 ((triple6) -> rule1)) -> rule6)) -> rule3)) -> rule5)) -> rule7) triple10) -> rule4))]