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