The cow is blue. The cow needs the lion. The cow needs the squirrel. The cow needs the tiger. The lion chases the cow. The lion chases the squirrel. The squirrel does not chase the cow. The squirrel does not chase the lion. The squirrel does not eat the tiger. The squirrel needs the tiger. The tiger is big. The tiger is young. The tiger needs the cow. The tiger needs the lion. The tiger needs the squirrel. If someone is blue and they need the lion then the lion is big. Big people are not blue. If someone needs the lion then they eat the lion. If the lion is green and the lion eats the cow then the cow is young. All big people are not round. If the lion is not young and the lion is not big then the lion eats the tiger.
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel does not chase the lion.
("squirrel" "chases" "lion" "-")
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is blue and they need the lion then the lion is big.
((("someone" "is" "blue" "+") ("someone" "needs" "lion" "+")) -> ("lion" "is" "big" "+"))
Big people are not blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
If someone needs the lion then they eat the lion.
((("someone" "needs" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If the lion is green and the lion eats the cow then the cow is young.
((("lion" "is" "green" "+") ("lion" "eats" "cow" "+")) -> ("cow" "is" "young" "+"))
All big people are not round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
If the lion is not young and the lion is not big then the lion eats the tiger.
((("lion" "is" "young" "~") ("lion" "is" "big" "~")) -> ("lion" "eats" "tiger" "+"))
The squirrel does not chase the lion.
True
1
proof
[(triple8)]
("squirrel" "chases" "lion" "-")
triple8
The tiger is not big.
False
1
inv-proof
[(triple11)]
("tiger" "is" "big" "-")
triple11
The tiger is not blue.
True
2
proof
[(((triple11) -> rule2))]
("tiger" "is" "blue" "-")
((triple11) -> (rule2 % int1))
The tiger is not blue.
("tiger" "is" "blue" "-")
int1
The tiger does not eat the lion.
False
2
inv-proof
[(((triple14) -> rule3))]
("tiger" "eats" "lion" "-")
((triple14) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The lion is not round.
True
4
proof
[(((((triple1 triple2) -> rule1)) -> rule5))]
("lion" "is" "round" "-")
((((triple1 triple2) -> (rule1 % int2))) -> (rule5 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is blue.
False
4
inv-proof
[(((((triple1 triple2) -> rule1)) -> rule2))]
("lion" "is" "blue" "+")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The squirrel does not eat the lion.
Unknown
inv-rconc
[@1: The squirrel eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "lion" "-")
The lion eats the tiger.
Unknown
rconc
[@1: The lion eats the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "eats" "tiger" "+")
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "lion" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The cow is blue.[(triple1)] The cow needs the lion.[(triple2)] The cow needs the squirrel.[(triple3)] The cow needs the tiger.[(triple4)] The lion chases the cow.[(triple5)] The lion chases the squirrel.[(triple6)] The squirrel does not chase the cow.[(triple7)] The squirrel does not chase the lion.[(triple8)] The squirrel does not eat the tiger.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger is big.[(triple11)] The tiger is young.[(triple12)] The tiger needs the cow.[(triple13)] The tiger needs the lion.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The cow eats the lion.[(((triple2) -> rule3))] The lion is big.[(((triple1 triple2) -> rule1))] The tiger eats the lion.[(((triple14) -> rule3))] The tiger is not blue.[(((triple11) -> rule2))] The tiger is not round.[(((triple11) -> rule5))] @2: The lion is not blue.[(((((triple1 triple2) -> rule1)) -> rule2))] The lion is not round.[(((((triple1 triple2) -> rule1)) -> rule5))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow needs the lion.
("cow" "needs" "lion" "+")
triple2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple3
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple4
The lion chases the cow.
("lion" "chases" "cow" "+")
triple5
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple6
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple7
The squirrel does not chase the lion.
("squirrel" "chases" "lion" "-")
triple8
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple13
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The cow eats the lion.
("cow" "eats" "lion" "+")
((triple2) -> (rule3 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple1 triple2) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((triple14) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger is not blue.
("tiger" "is" "blue" "-")
((triple11) -> (rule2 % int1))
The tiger is not blue.
("tiger" "is" "blue" "-")
int1
The tiger is not round.
("tiger" "is" "round" "-")
((triple11) -> (rule5 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1
The lion is not blue.
("lion" "is" "blue" "-")
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is not round.
("lion" "is" "round" "-")
((((triple1 triple2) -> (rule1 % int2))) -> (rule5 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion is big.
("lion" "is" "big" "+")
int2