The bald eagle is cold. The bald eagle is red. The cow chases the lion. The cow eats the bald eagle. The cow is nice. The cow needs the bald eagle. The cow needs the lion. The lion eats the bald eagle. The lion is nice. The lion needs the bald eagle. If someone is nice then they need the cow.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
If someone is nice then they need the cow.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "cow" "+"))
The lion needs the bald eagle.
True
1
proof
[(triple10)]
("lion" "needs" "bald eagle" "+")
triple10
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple8)]
("lion" "eats" "bald eagle" "-")
triple8
The bald eagle does not need the cow.
Unknown
inv-rconc
[@1: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "cow" "-")
The lion eats the cow.
Unknown
random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is nice.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow needs the lion.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is nice.[(triple9)] The lion needs the bald eagle.[(triple10)] @1: The cow needs the cow.[(((triple5) -> rule1))] The lion needs the cow.[(((triple9) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow needs the lion.
("cow" "needs" "lion" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple10
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple5) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple9) -> (rule1 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1