The cow chases the lion. The cow eats the lion. The cow is blue. The dog chases the cow. The dog chases the lion. The dog eats the cow. The dog is nice. The dog likes the cow. The dog likes the lion. The dog likes the tiger. The lion chases the cow. The lion eats the cow. The lion likes the dog. The lion likes the tiger. The tiger eats the dog. The tiger is nice. If someone is young then they do not eat the dog. If someone is young and they eat the lion then they are nice. If the dog eats the lion then the dog chases the lion. If someone likes the dog then they do not chase the dog. If someone chases the dog and they are not nice then they like the lion. If someone eats the lion then they like the lion.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If someone is young then they do not eat the dog.
((("someone" "is" "young" "+")) -> ("someone" "eats" "dog" "-"))
If someone is young and they eat the lion then they are nice.
((("someone" "is" "young" "+") ("someone" "eats" "lion" "+")) -> ("someone" "is" "nice" "+"))
If the dog eats the lion then the dog chases the lion.
((("dog" "eats" "lion" "+")) -> ("dog" "chases" "lion" "+"))
If someone likes the dog then they do not chase the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "chases" "dog" "-"))
If someone chases the dog and they are not nice then they like the lion.
((("someone" "chases" "dog" "+") ("someone" "is" "nice" "~")) -> ("someone" "likes" "lion" "+"))
If someone eats the lion then they like the lion.
((("someone" "eats" "lion" "+")) -> ("someone" "likes" "lion" "+"))
The dog likes the tiger.
True
1
proof
[(triple10)]
("dog" "likes" "tiger" "+")
triple10
The lion does not chase the cow.
False
1
inv-proof
[(triple11)]
("lion" "chases" "cow" "-")
triple11
The cow likes the lion.
True
2
proof
[(((triple2) -> rule6))]
("cow" "likes" "lion" "+")
((triple2) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow does not like the lion.
False
2
inv-proof
[(((triple2) -> rule6))]
("cow" "likes" "lion" "-")
((triple2) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "likes" "lion" "-")
The tiger likes the lion.
Unknown
rconc
[@1: The tiger likes the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "likes" "lion" "+")
The tiger does not like the cow.
Unknown
inv-random
[@0: The tiger likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cow" "-")
The tiger eats the cow.
Unknown
random
[@0: The tiger eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cow" "+")
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is blue.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the lion.[(triple5)] The dog eats the cow.[(triple6)] The dog is nice.[(triple7)] The dog likes the cow.[(triple8)] The dog likes the lion.[(triple9)] The dog likes the tiger.[(triple10)] The lion chases the cow.[(triple11)] The lion eats the cow.[(triple12)] The lion likes the dog.[(triple13)] The lion likes the tiger.[(triple14)] The tiger eats the dog.[(triple15)] The tiger is nice.[(triple16)] @1: The cow likes the lion.[(((triple2) -> rule6))] The lion does not chase the dog.[(((triple13) -> rule4))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
triple4
The dog chases the lion.
("dog" "chases" "lion" "+")
triple5
The dog eats the cow.
("dog" "eats" "cow" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
triple8
The dog likes the lion.
("dog" "likes" "lion" "+")
triple9
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple10
The lion chases the cow.
("lion" "chases" "cow" "+")
triple11
The lion eats the cow.
("lion" "eats" "cow" "+")
triple12
The lion likes the dog.
("lion" "likes" "dog" "+")
triple13
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple14
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple15
The tiger is nice.
("tiger" "is" "nice" "+")
triple16
The cow likes the lion.
("cow" "likes" "lion" "+")
((triple2) -> (rule6 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The lion does not chase the dog.
("lion" "chases" "dog" "-")
((triple13) -> (rule4 % int1))
The lion does not chase the dog.
("lion" "chases" "dog" "-")
int1