The cat does not like the rabbit. The rabbit likes the cat. The tiger sees the cat. If something likes the cat then it is not cold.
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something likes the cat then it is not cold.
((("something" "likes" "cat" "+")) -> ("something" "is" "cold" "-"))
The cat does not like the rabbit.
True
1
proof
[(triple1)]
("cat" "likes" "rabbit" "-")
triple1
The tiger does not see the cat.
False
1
inv-proof
[(triple3)]
("tiger" "sees" "cat" "-")
triple3
The rabbit is not cold.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The rabbit is not cold.
("rabbit" "is" "cold" "-")
int1
The rabbit is cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The rabbit is not cold.
("rabbit" "is" "cold" "-")
int1
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cat likes the tiger.
Unknown
random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The rabbit sees the cat.
Unknown
random
[@0: The rabbit sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cat" "+")
@0: The cat does not like the rabbit.[(triple1)] The rabbit likes the cat.[(triple2)] The tiger sees the cat.[(triple3)] @1: The rabbit is not cold.[(((triple2) -> rule1))]
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
triple1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple2
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple3
The rabbit is not cold.
("rabbit" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The rabbit is not cold.
("rabbit" "is" "cold" "-")
int1