The bear is red. The rabbit sees the bear. If the bear is young then the bear chases the rabbit. If something visits the rabbit then it is round. If something visits the rabbit and it is young then the rabbit chases the bear. If something visits the bear then the bear is young. If something visits the bear and the bear is big then it is red. If the rabbit chases the bear then the rabbit sees the bear. If something chases the bear and it chases the rabbit then it is big. If something sees the bear and it is big then it chases the bear.
The bear is red.
("bear" "is" "red" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If the bear is young then the bear chases the rabbit.
((("bear" "is" "young" "+")) -> ("bear" "chases" "rabbit" "+"))
If something visits the rabbit then it is round.
((("something" "visits" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something visits the rabbit and it is young then the rabbit chases the bear.
((("something" "visits" "rabbit" "+") ("something" "is" "young" "+")) -> ("rabbit" "chases" "bear" "+"))
If something visits the bear then the bear is young.
((("something" "visits" "bear" "+")) -> ("bear" "is" "young" "+"))
If something visits the bear and the bear is big then it is red.
((("something" "visits" "bear" "+") ("bear" "is" "big" "+")) -> ("something" "is" "red" "+"))
If the rabbit chases the bear then the rabbit sees the bear.
((("rabbit" "chases" "bear" "+")) -> ("rabbit" "sees" "bear" "+"))
If something chases the bear and it chases the rabbit then it is big.
((("something" "chases" "bear" "+") ("something" "chases" "rabbit" "+")) -> ("something" "is" "big" "+"))
If something sees the bear and it is big then it chases the bear.
((("something" "sees" "bear" "+") ("something" "is" "big" "+")) -> ("something" "chases" "bear" "+"))
The rabbit sees the bear.
True
1
proof
[(triple2)]
("rabbit" "sees" "bear" "+")
triple2
The bear is not red.
False
1
inv-proof
[(triple1)]
("bear" "is" "red" "-")
triple1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "big" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bear is red.[(triple1)] The rabbit sees the bear.[(triple2)]
The bear is red.
("bear" "is" "red" "+")
triple1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple2