The bear eats the lion. The cat is cold. The cow chases the cat. The lion is nice. If someone eats the lion then they chase the cow. If someone needs the cow and they need the cat then the cat eats the bear. If someone is nice and they need the cat then they are young.
The bear eats the lion.
("bear" "eats" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The lion is nice.
("lion" "is" "nice" "+")
If someone eats the lion then they chase the cow.
((("someone" "eats" "lion" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the cow and they need the cat then the cat eats the bear.
((("someone" "needs" "cow" "+") ("someone" "needs" "cat" "+")) -> ("cat" "eats" "bear" "+"))
If someone is nice and they need the cat then they are young.
((("someone" "is" "nice" "+") ("someone" "needs" "cat" "+")) -> ("someone" "is" "young" "+"))
The lion is nice.
True
1
proof
[(triple4)]
("lion" "is" "nice" "+")
triple4
The cow does not chase the cat.
False
1
inv-proof
[(triple3)]
("cow" "chases" "cat" "-")
triple3
The bear chases the cow.
True
2
proof
[(((triple1) -> rule1))]
("bear" "chases" "cow" "+")
((triple1) -> (rule1 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear does not chase the cow.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "chases" "cow" "-")
((triple1) -> (rule1 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "young" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "+")
The cow does not chase the bear.
Unknown
inv-random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
@0: The bear eats the lion.[(triple1)] The cat is cold.[(triple2)] The cow chases the cat.[(triple3)] The lion is nice.[(triple4)] @1: The bear chases the cow.[(((triple1) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cow chases the cat.
("cow" "chases" "cat" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple1) -> (rule1 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1