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