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