The bear is blue. The cow eats the lion. The lion chases the cow. The tiger eats the bear. If someone is blue and they visit the tiger then the tiger eats the cow. If someone eats the tiger and they chase the tiger then the tiger visits the cow. If someone eats the tiger and the tiger eats the cow then the tiger visits the lion. If someone chases the lion and the lion visits the cow then the lion is nice. If someone eats the tiger and the tiger is blue then they are young. If the tiger is nice and the tiger eats the cow then the cow chases the lion. If someone is blue and they visit the cow then the cow eats the tiger. If someone eats the bear then they eat the cow.
The bear is blue.
("bear" "is" "blue" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
If someone is blue and they visit the tiger then the tiger eats the cow.
((("someone" "is" "blue" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If someone eats the tiger and they chase the tiger then the tiger visits the cow.
((("someone" "eats" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "visits" "cow" "+"))
If someone eats the tiger and the tiger eats the cow then the tiger visits the lion.
((("someone" "eats" "tiger" "+") ("tiger" "eats" "cow" "+")) -> ("tiger" "visits" "lion" "+"))
If someone chases the lion and the lion visits the cow then the lion is nice.
((("someone" "chases" "lion" "+") ("lion" "visits" "cow" "+")) -> ("lion" "is" "nice" "+"))
If someone eats the tiger and the tiger is blue then they are young.
((("someone" "eats" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If the tiger is nice and the tiger eats the cow then the cow chases the lion.
((("tiger" "is" "nice" "+") ("tiger" "eats" "cow" "+")) -> ("cow" "chases" "lion" "+"))
If someone is blue and they visit the cow then the cow eats the tiger.
((("someone" "is" "blue" "+") ("someone" "visits" "cow" "+")) -> ("cow" "eats" "tiger" "+"))
If someone eats the bear then they eat the cow.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "cow" "+"))
The cow eats the lion.
True
1
proof
[(triple2)]
("cow" "eats" "lion" "+")
triple2
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The tiger eats the cow.
True
2
proof
[(((triple4) -> rule8))]
("tiger" "eats" "cow" "+")
((triple4) -> (rule8 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger does not eat the cow.
False
2
inv-proof
[(((triple4) -> rule8))]
("tiger" "eats" "cow" "-")
((triple4) -> (rule8 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The lion does not eat the cow.
Unknown
inv-rconc
[@1: The lion eats the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "eats" "cow" "-")
The bear is young.
Unknown
rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "young" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The lion chases the bear.
Unknown
random
[@0: The lion chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bear" "+")
@0: The bear is blue.[(triple1)] The cow eats the lion.[(triple2)] The lion chases the cow.[(triple3)] The tiger eats the bear.[(triple4)] @1: The tiger eats the cow.[(((triple4) -> rule8))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The lion chases the cow.
("lion" "chases" "cow" "+")
triple3
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple4
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple4) -> (rule8 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1