The bear eats the rabbit. The bear is blue. The bear is red. The bear is rough. The bear is not round. The bear is not young. The bear likes the rabbit. The bear does not visit the rabbit. The rabbit does not eat the bear. The rabbit is blue. The rabbit is not red. The rabbit is rough. The rabbit is round. The rabbit is not young. The rabbit likes the bear. The rabbit visits the bear. If something visits the rabbit then the rabbit does not like the bear. If something is rough and it does not eat the bear then it does not visit the rabbit. If something visits the rabbit then it is red.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something visits the rabbit then the rabbit does not like the bear.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "likes" "bear" "-"))
If something is rough and it does not eat the bear then it does not visit the rabbit.
((("something" "is" "rough" "+") ("something" "eats" "bear" "~")) -> ("something" "visits" "rabbit" "-"))
If something visits the rabbit then it is red.
((("something" "visits" "rabbit" "+")) -> ("something" "is" "red" "+"))
The bear is rough.
True
1
proof
[(triple4)]
("bear" "is" "rough" "+")
triple4
The rabbit is young.
False
1
inv-proof
[(triple14)]
("rabbit" "is" "young" "+")
triple14
The rabbit does not visit the rabbit.
True
3
proof
[(((triple12 triple9) -> rule2))]
("rabbit" "visits" "rabbit" "-")
((triple12 triple9) -> (rule2 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The rabbit visits the rabbit.
False
3
inv-proof
[(((triple12 triple9) -> rule2))]
("rabbit" "visits" "rabbit" "+")
((triple12 triple9) -> (rule2 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
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 bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear does not visit the rabbit.[(triple8)] The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is not round.[(triple5)] The bear is not young.[(triple6)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear likes the rabbit.[(triple7)] The rabbit does not eat the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is not young.[(triple14)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the bear.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The rabbit does not visit the rabbit.[(((triple12 triple9) -> rule2))]
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
triple8
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple5
The bear is not young.
("bear" "is" "young" "-")
triple6
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is not red.
("rabbit" "is" "red" "-")
triple11
The rabbit is not young.
("rabbit" "is" "young" "-")
triple14
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple16
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
((triple12 triple9) -> (rule2 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1