The bear chases the dog. The bear does not chase the lion. The bear is not green. The dog chases the bear. The dog eats the bear. The lion chases the bear. The lion eats the dog. The lion is blue. The lion is not nice. The lion visits the dog. If something visits the lion then it chases the bear. If the bear is not red then the bear is young. If something is young and it visits the lion then it chases the dog. If something eats the dog and the dog chases the bear then it chases the lion. If something is nice then it does not visit the bear. If the dog eats the lion then the dog is green. If something eats the lion and the lion does not chase the dog then it visits the dog. If the lion chases the bear and the lion visits the dog then the dog visits the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear does not chase the lion.
("bear" "chases" "lion" "-")
The bear is not green.
("bear" "is" "green" "-")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something visits the lion then it chases the bear.
((("something" "visits" "lion" "+")) -> ("something" "chases" "bear" "+"))
If the bear is not red then the bear is young.
((("bear" "is" "red" "~")) -> ("bear" "is" "young" "+"))
If something is young and it visits the lion then it chases the dog.
((("something" "is" "young" "+") ("something" "visits" "lion" "+")) -> ("something" "chases" "dog" "+"))
If something eats the dog and the dog chases the bear then it chases the lion.
((("something" "eats" "dog" "+") ("dog" "chases" "bear" "+")) -> ("something" "chases" "lion" "+"))
If something is nice then it does not visit the bear.
((("something" "is" "nice" "+")) -> ("something" "visits" "bear" "-"))
If the dog eats the lion then the dog is green.
((("dog" "eats" "lion" "+")) -> ("dog" "is" "green" "+"))
If something eats the lion and the lion does not chase the dog then it visits the dog.
((("something" "eats" "lion" "+") ("lion" "chases" "dog" "~")) -> ("something" "visits" "dog" "+"))
If the lion chases the bear and the lion visits the dog then the dog visits the bear.
((("lion" "chases" "bear" "+") ("lion" "visits" "dog" "+")) -> ("dog" "visits" "bear" "+"))
The bear does not chase the lion.
True
1
proof
[(triple2)]
("bear" "chases" "lion" "-")
triple2
The lion is nice.
False
1
inv-proof
[(triple9)]
("lion" "is" "nice" "+")
triple9
The lion chases the lion.
True
3
proof
[(((triple7 triple4) -> rule4))]
("lion" "chases" "lion" "+")
((triple7 triple4) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
3
inv-proof
[(((triple7 triple4) -> rule4))]
("lion" "chases" "lion" "-")
((triple7 triple4) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "visits" "dog" "-")
The lion chases the dog.
Unknown
rconc
[@1: The lion chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "dog" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The bear eats the lion.
Unknown
random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "+")
@0: The bear chases the dog.[(triple1)] The bear does not chase the lion.[(triple2)] The bear is not green.[(triple3)] The dog chases the bear.[(triple4)] The dog eats the bear.[(triple5)] The lion chases the bear.[(triple6)] The lion eats the dog.[(triple7)] The lion is blue.[(triple8)] The lion is not nice.[(triple9)] The lion visits the dog.[(triple10)] @1: The dog visits the bear.[(((triple6 triple10) -> rule8))] The lion chases the lion.[(((triple7 triple4) -> rule4))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear does not chase the lion.
("bear" "chases" "lion" "-")
triple2
The bear is not green.
("bear" "is" "green" "-")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The lion chases the bear.
("lion" "chases" "bear" "+")
triple6
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is not nice.
("lion" "is" "nice" "-")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple6 triple10) -> (rule8 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple7 triple4) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1