The bald eagle eats the bear. The bald eagle eats the cat. The bear chases the bald eagle. The bear chases the cat. The bear eats the cat. The bear is cold. The bear likes the bald eagle. The bear likes the cat. The cat eats the bear. The cat is cold. Cold people are rough.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is cold.
("cat" "is" "cold" "+")
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
The bear is cold.
True
1
proof
[(triple6)]
("bear" "is" "cold" "+")
triple6
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "cat" "-")
triple2
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the cat.[(triple4)] The bear eats the cat.[(triple5)] The bear is cold.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the cat.[(triple8)] The cat eats the bear.[(triple9)] The cat is cold.[(triple10)] @1: The bear is rough.[(((triple6) -> rule1))] The cat is rough.[(((triple10) -> rule1))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear chases the cat.
("bear" "chases" "cat" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear likes the cat.
("bear" "likes" "cat" "+")
triple8
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
The cat is cold.
("cat" "is" "cold" "+")
triple10
The bear is rough.
("bear" "is" "rough" "+")
((triple6) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple10) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1