The bear chases the rabbit. The bear eats the rabbit. The bear is cold. The bear is young. The bear needs the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit needs the bear. If something is blue and it needs the rabbit then the rabbit needs the bear. If something is red and it needs the rabbit then the rabbit eats the bear. All red things are green.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something is blue and it needs the rabbit then the rabbit needs the bear.
((("something" "is" "blue" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "needs" "bear" "+"))
If something is red and it needs the rabbit then the rabbit eats the bear.
((("something" "is" "red" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "eats" "bear" "+"))
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
The rabbit eats the bear.
True
1
proof
[(triple7)]
("rabbit" "eats" "bear" "+")
triple7
The bear does not need the rabbit.
False
1
inv-proof
[(triple5)]
("bear" "needs" "rabbit" "-")
triple5
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "green" "-")
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 eats the rabbit.[(triple2)] The bear is cold.[(triple3)] The bear is young.[(triple4)] The bear needs the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9 OR ((triple10) -> rule3))] The rabbit is red.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the bear.[(triple12)]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
((triple10) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12