The cat eats the rabbit. The lion sees the cat. The rabbit eats the lion. If something eats the rabbit and the rabbit eats the lion then the lion is cold.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
If something eats the rabbit and the rabbit eats the lion then the lion is cold.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "lion" "+")) -> ("lion" "is" "cold" "+"))
The lion sees the cat.
True
1
proof
[(triple2)]
("lion" "sees" "cat" "+")
triple2
The rabbit does not eat the lion.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "lion" "-")
triple3
The lion is cold.
True
3
proof
[(((triple1 triple3) -> rule1))]
("lion" "is" "cold" "+")
((triple1 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("lion" "is" "cold" "-")
((triple1 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The rabbit needs the lion.
Unknown
random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The cat eats the rabbit.[(triple1)] The lion sees the cat.[(triple2)] The rabbit eats the lion.[(triple3)] @1: The lion is cold.[(((triple1 triple3) -> rule1))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The lion sees the cat.
("lion" "sees" "cat" "+")
triple2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
((triple1 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1