The bald eagle is not green. The bear does not eat the cow. The bear eats the tiger. The cow is green. The cow is rough. The tiger does not chase the cow. The tiger likes the bear. All green people are nice. If the cow is nice and the cow is green then the cow likes the bear.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bear does not eat the cow.
("bear" "eats" "cow" "-")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If the cow is nice and the cow is green then the cow likes the bear.
((("cow" "is" "nice" "+") ("cow" "is" "green" "+")) -> ("cow" "likes" "bear" "+"))
The tiger likes the bear.
True
1
proof
[(triple7)]
("tiger" "likes" "bear" "+")
triple7
The tiger does not like the bear.
False
1
inv-proof
[(triple7)]
("tiger" "likes" "bear" "-")
triple7
The cow is nice.
True
2
proof
[(((triple4) -> rule1))]
("cow" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple4) -> rule1))]
("cow" "is" "nice" "-")
((triple4) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the bear.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule2))]
("cow" "likes" "bear" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow does not like the bear.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule2))]
("cow" "likes" "bear" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "nice" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The cow chases the bear.
Unknown
random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bald eagle likes the bear.
Unknown
random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "+")
@0: The bald eagle is not green.[(triple1)] The bear does not eat the cow.[(triple2)] The bear eats the tiger.[(triple3)] The cow is green.[(triple4)] The cow is rough.[(triple5)] The tiger does not chase the cow.[(triple6)] The tiger likes the bear.[(triple7)] @1: The cow is nice.[(((triple4) -> rule1))] @2: The cow likes the bear.[(((((triple4) -> rule1) triple4) -> rule2))]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bear does not eat the cow.
("bear" "eats" "cow" "-")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple6
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2