The cat does not eat the rabbit. The cat is blue. The cat is cold. The cat is green. The cat is not rough. The cat is round. The cat does not like the rabbit. The cat needs the rabbit. The rabbit eats the cat. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit does not like the cat. The rabbit needs the cat. If someone likes the rabbit then the rabbit is blue. If the rabbit eats the cat then the rabbit is not rough.
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat is round.
("cat" "is" "round" "+")
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone likes the rabbit then the rabbit is blue.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If the rabbit eats the cat then the rabbit is not rough.
((("rabbit" "eats" "cat" "+")) -> ("rabbit" "is" "rough" "-"))
The cat needs the rabbit.
True
1
proof
[(triple8)]
("cat" "needs" "rabbit" "+")
triple8
The rabbit is not cold.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "cold" "-")
triple11
The rabbit is not rough.
True
2
proof
[(((triple9) -> rule2))]
("rabbit" "is" "rough" "-")
((triple9) -> (rule2 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The rabbit is rough.
False
2
inv-proof
[(((triple9) -> rule2))]
("rabbit" "is" "rough" "+")
((triple9) -> (rule2 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The cat does not eat the rabbit.[(triple1)] The cat does not like the rabbit.[(triple7)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is not rough.[(triple5)] The cat is round.[(triple6)] The cat needs the rabbit.[(triple8)] The rabbit does not like the cat.[(triple14)] The rabbit eats the cat.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is green.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the cat.[(triple15)] @1: The rabbit is not rough.[(((triple9) -> rule2))]
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple1
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is not rough.
("cat" "is" "rough" "-")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple8
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple14
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple15
The rabbit is not rough.
("rabbit" "is" "rough" "-")
((triple9) -> (rule2 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1