The bald eagle eats the tiger. The bear needs the tiger. The cow eats the bald eagle. The cow eats the tiger. The cow is not cold. The tiger is big. The tiger is nice. If the cow eats the bald eagle then the cow is nice. If the cow needs the tiger and the bear does not eat the cow then the tiger is blue.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If the cow eats the bald eagle then the cow is nice.
((("cow" "eats" "bald eagle" "+")) -> ("cow" "is" "nice" "+"))
If the cow needs the tiger and the bear does not eat the cow then the tiger is blue.
((("cow" "needs" "tiger" "+") ("bear" "eats" "cow" "~")) -> ("tiger" "is" "blue" "+"))
The cow eats the bald eagle.
True
1
proof
[(triple3)]
("cow" "eats" "bald eagle" "+")
triple3
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "eats" "bald eagle" "-")
triple3
The cow is nice.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "nice" "+")
((triple3) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "nice" "-")
((triple3) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "blue" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The cow does not need the bear.
Unknown
inv-random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "-")
The tiger eats the cow.
Unknown
random
[@0: The tiger eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cow" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bear needs the tiger.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow eats the tiger.[(triple4)] The cow is not cold.[(triple5)] The tiger is big.[(triple6)] The tiger is nice.[(triple7)] @1: The cow is nice.[(((triple3) -> rule1))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple4
The cow is not cold.
("cow" "is" "cold" "-")
triple5
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger is nice.
("tiger" "is" "nice" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
((triple3) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1