The bear chases the rabbit. The bear is not green. The bear is rough. The bear needs the rabbit. The bear does not visit the rabbit. The rabbit chases the bear. The rabbit is green. The rabbit is not red. The rabbit needs the bear. The rabbit visits the bear. If something visits the bear and it chases the bear then it does not visit the rabbit. If something is nice and it visits the rabbit then it chases the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something visits the bear and it chases the bear then it does not visit the rabbit.
((("something" "visits" "bear" "+") ("something" "chases" "bear" "+")) -> ("something" "visits" "rabbit" "-"))
If something is nice and it visits the rabbit then it chases the rabbit.
((("something" "is" "nice" "+") ("something" "visits" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
The bear is not green.
True
1
proof
[(triple2)]
("bear" "is" "green" "-")
triple2
The bear is not rough.
False
1
inv-proof
[(triple3)]
("bear" "is" "rough" "-")
triple3
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear chases the rabbit.[(triple1)] The bear does not visit the rabbit.[(triple5)] The bear is not green.[(triple2)] The bear is rough.[(triple3)] The bear needs the rabbit.[(triple4)] The rabbit chases the bear.[(triple6)] The rabbit is green.[(triple7)] The rabbit is not red.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The rabbit does not visit the rabbit.[(((triple10 triple6) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear does not visit the rabbit.
("bear" "visits" "rabbit" "-")
triple5
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is not red.
("rabbit" "is" "red" "-")
triple8
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
((triple10 triple6) -> (rule1 % int1))
The rabbit does not visit the rabbit.
("rabbit" "visits" "rabbit" "-")
int1