The cat eats the mouse. The cow is cold. The mouse needs the cat. The rabbit is rough. If someone needs the cat then the cat likes the mouse.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If someone needs the cat then the cat likes the mouse.
((("someone" "needs" "cat" "+")) -> ("cat" "likes" "mouse" "+"))
The cat eats the mouse.
True
1
proof
[(triple1)]
("cat" "eats" "mouse" "+")
triple1
The cow is not cold.
False
1
inv-proof
[(triple2)]
("cow" "is" "cold" "-")
triple2
The cat likes the mouse.
True
2
proof
[(((triple3) -> rule1))]
("cat" "likes" "mouse" "+")
((triple3) -> (rule1 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1
The cat does not like the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("cat" "likes" "mouse" "-")
((triple3) -> (rule1 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1
The cow does not like the rabbit.
Unknown
inv-random
[@0: The cow likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "rabbit" "-")
The cat eats the rabbit.
Unknown
random
[@0: The cat eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "rabbit" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The rabbit likes the cow.
Unknown
random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "+")
@0: The cat eats the mouse.[(triple1)] The cow is cold.[(triple2)] The mouse needs the cat.[(triple3)] The rabbit is rough.[(triple4)] @1: The cat likes the mouse.[(((triple3) -> rule1))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
((triple3) -> (rule1 % int1))
The cat likes the mouse.
("cat" "likes" "mouse" "+")
int1