The cat is cold. The rabbit is red. If something is cold then it does not visit the rabbit. If the cat is rough and the cat is big then the cat does not chase the rabbit.
The cat is cold.
("cat" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something is cold then it does not visit the rabbit.
((("something" "is" "cold" "+")) -> ("something" "visits" "rabbit" "-"))
If the cat is rough and the cat is big then the cat does not chase the rabbit.
((("cat" "is" "rough" "+") ("cat" "is" "big" "+")) -> ("cat" "chases" "rabbit" "-"))
The rabbit is red.
True
1
proof
[(triple2)]
("rabbit" "is" "red" "+")
triple2
The rabbit is not red.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "red" "-")
triple2
The cat does not visit the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("cat" "visits" "rabbit" "-")
((triple1) -> (rule1 % int1))
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
int1
The cat visits the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "visits" "rabbit" "+")
((triple1) -> (rule1 % int1))
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
int1
The rabbit does not chase the cat.
Unknown
inv-random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cat is cold.[(triple1)] The rabbit is red.[(triple2)] @1: The cat does not visit the rabbit.[(((triple1) -> rule1))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple2
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
((triple1) -> (rule1 % int1))
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
int1