The bear chases the lion. The bear is cold. The dog visits the lion. The lion chases the dog. The lion does not visit the bear. The mouse is not kind. The mouse visits the bear. If someone chases the lion then the lion needs the dog.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is cold.
("bear" "is" "cold" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion does not visit the bear.
("lion" "visits" "bear" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone chases the lion then the lion needs the dog.
((("someone" "chases" "lion" "+")) -> ("lion" "needs" "dog" "+"))
The lion chases the dog.
True
1
proof
[(triple4)]
("lion" "chases" "dog" "+")
triple4
The bear does not chase the lion.
False
1
inv-proof
[(triple1)]
("bear" "chases" "lion" "-")
triple1
The lion needs the dog.
True
2
proof
[(((triple1) -> rule1))]
("lion" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The lion does not need the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "needs" "dog" "-")
((triple1) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
The bear does not visit the mouse.
Unknown
inv-random
[@0: The bear visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "mouse" "-")
The mouse needs the dog.
Unknown
random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "+")
@0: The bear chases the lion.[(triple1)] The bear is cold.[(triple2)] The dog visits the lion.[(triple3)] The lion chases the dog.[(triple4)] The lion does not visit the bear.[(triple5)] The mouse is not kind.[(triple6)] The mouse visits the bear.[(triple7)] @1: The lion needs the dog.[(((triple1) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The dog visits the lion.
("dog" "visits" "lion" "+")
triple3
The lion chases the dog.
("lion" "chases" "dog" "+")
triple4
The lion does not visit the bear.
("lion" "visits" "bear" "-")
triple5
The mouse is not kind.
("mouse" "is" "kind" "-")
triple6
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple7
The lion needs the dog.
("lion" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1