The cat is red. The cat does not like the lion. The dog is nice. The dog is red. The dog is young. The lion likes the dog. The mouse is not round. The mouse likes the cat. The mouse likes the dog. The mouse needs the dog. The mouse visits the cat. The mouse visits the lion. If someone likes the lion then the lion likes the cat. All nice people are round. If someone likes the dog and the dog needs the lion then the lion is nice. If someone is round then they need the lion. If someone likes the lion and they need the mouse then the mouse is kind. If someone likes the dog and they are not red then they do not need the dog. If the dog is red then the dog likes the mouse. If the cat needs the dog and the cat does not need the lion then the dog does not visit the mouse.
The lion is nice.
@0: The cat does not like the lion.[(triple2)] The cat is red.[(triple1)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is young.[(triple5)] The lion likes the dog.[(triple6)] The mouse is not round.[(triple7)] The mouse likes the cat.[(triple8)] The mouse likes the dog.[(triple9)] The mouse needs the dog.[(triple10)] The mouse visits the cat.[(triple11)] The mouse visits the lion.[(triple12)] @1: The dog is round.[(((triple3) -> rule2))] The dog likes the mouse.[(((triple4) -> rule7))] @2: The dog needs the lion.[(((((triple3) -> rule2)) -> rule4))] @3: The lion is nice.[(((triple6 ((((triple3) -> rule2)) -> rule4)) -> rule3) OR ((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule3))] @4: The lion is round.[(((((triple6 ((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule2) OR ((((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule2))] @5: The lion needs the lion.[(((((((triple6 ((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule2)) -> rule4))]