The cat sees the cow. The cow sees the lion. The lion eats the cow. If someone sees the lion then the lion likes the cat. If someone likes the cat then the cat is round.
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
If someone sees the lion then the lion likes the cat.
((("someone" "sees" "lion" "+")) -> ("lion" "likes" "cat" "+"))
If someone likes the cat then the cat is round.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "round" "+"))
The lion eats the cow.
True
1
proof
[(triple3)]
("lion" "eats" "cow" "+")
triple3
The lion does not eat the cow.
False
1
inv-proof
[(triple3)]
("lion" "eats" "cow" "-")
triple3
The lion likes the cat.
True
2
proof
[(((triple2) -> rule1))]
("lion" "likes" "cat" "+")
((triple2) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion does not like the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "likes" "cat" "-")
((triple2) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cat is round.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("cat" "is" "round" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The cat is not round.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("cat" "is" "round" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat eats the cow.
Unknown
random
[@0: The cat eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cow" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The cow sees the cat.
Unknown
random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "+")
@0: The cat sees the cow.[(triple1)] The cow sees the lion.[(triple2)] The lion eats the cow.[(triple3)] @1: The lion likes the cat.[(((triple2) -> rule1))] @2: The cat is round.[(((((triple2) -> rule1)) -> rule2))]
The cat sees the cow.
("cat" "sees" "cow" "+")
triple1
The cow sees the lion.
("cow" "sees" "lion" "+")
triple2
The lion eats the cow.
("lion" "eats" "cow" "+")
triple3
The lion likes the cat.
("lion" "likes" "cat" "+")
((triple2) -> (rule1 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2