The bear does not chase the rabbit. The bear is green. The bear is red. The bear is young. The bear likes the rabbit. The bear sees the rabbit. The rabbit chases the bear. The rabbit is red. The rabbit is rough. The rabbit is not young. The rabbit does not like the bear. The rabbit sees the bear. If someone chases the rabbit and they are red then the rabbit does not see the bear. If someone is red and they like the rabbit then they chase the bear.
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If someone chases the rabbit and they are red then the rabbit does not see the bear.
((("someone" "chases" "rabbit" "+") ("someone" "is" "red" "+")) -> ("rabbit" "sees" "bear" "-"))
If someone is red and they like the rabbit then they chase the bear.
((("someone" "is" "red" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "chases" "bear" "+"))
The bear is young.
True
1
proof
[(triple4)]
("bear" "is" "young" "+")
triple4
The bear chases the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "chases" "rabbit" "+")
triple1
The bear chases the bear.
True
3
proof
[(((triple3 triple5) -> rule2))]
("bear" "chases" "bear" "+")
((triple3 triple5) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
3
inv-proof
[(((triple3 triple5) -> rule2))]
("bear" "chases" "bear" "-")
((triple3 triple5) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bear does not chase the rabbit.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the rabbit.[(triple5)] The bear sees the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit does not like the bear.[(triple11)] The rabbit is not young.[(triple10)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit sees the bear.[(triple12)] @1: The bear chases the bear.[(((triple3 triple5) -> rule2))]
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple6
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple7
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple11
The rabbit is not young.
("rabbit" "is" "young" "-")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple12
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple3 triple5) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1