The bear is green. The bear is nice. The bear is red. The bear likes the cow. The bear likes the rabbit. The cow eats the rabbit. The cow is not green. The cow is nice. The cow is rough. The cow does not visit the bear. The cow visits the rabbit. The rabbit eats the bear. The rabbit is green. The rabbit is round. The rabbit likes the bear. The rabbit likes the cow. If someone likes the bear and they are nice then the bear visits the rabbit. If someone is round then they are nice.
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not visit the bear.
("cow" "visits" "bear" "-")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone likes the bear and they are nice then the bear visits the rabbit.
((("someone" "likes" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "visits" "rabbit" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
The cow eats the rabbit.
True
1
proof
[(triple6)]
("cow" "eats" "rabbit" "+")
triple6
The cow does not visit the rabbit.
False
1
inv-proof
[(triple11)]
("cow" "visits" "rabbit" "-")
triple11
The rabbit is nice.
True
2
proof
[(((triple14) -> rule2))]
("rabbit" "is" "nice" "+")
((triple14) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple14) -> rule2))]
("rabbit" "is" "nice" "-")
((triple14) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The bear visits the rabbit.
True
4
proof
[(((triple15 ((triple14) -> rule2)) -> rule1))]
("bear" "visits" "rabbit" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The bear does not visit the rabbit.
False
4
inv-proof
[(((triple15 ((triple14) -> rule2)) -> rule1))]
("bear" "visits" "rabbit" "-")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
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 rabbit visits the bear.
Unknown
random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
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 cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the rabbit.[(triple5)] The cow does not visit the bear.[(triple10)] The cow eats the rabbit.[(triple6)] The cow is nice.[(triple8)] The cow is not green.[(triple7)] The cow is rough.[(triple9)] The cow visits the rabbit.[(triple11)] The rabbit eats the bear.[(triple12)] The rabbit is green.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The rabbit is nice.[(((triple14) -> rule2))] @2: The bear visits the rabbit.[(((triple15 ((triple14) -> rule2)) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The cow does not visit the bear.
("cow" "visits" "bear" "-")
triple10
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not green.
("cow" "is" "green" "-")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple9
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple11
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple14) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2