The bear is kind. The bear is not red. The bear is rough. The bear is round. The bear likes the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is red. The rabbit is rough. The rabbit does not like the bear. The rabbit sees the bear. The rabbit does not visit the bear. If someone visits the bear then the bear does not visit the rabbit. If someone sees the rabbit and they like the bear then the rabbit likes the bear. If someone visits the bear then they do not see the rabbit. If someone is kind then they see the rabbit. If someone visits the bear and they see the bear then they visit the rabbit. If the rabbit is big then the rabbit sees the bear. If someone sees the rabbit then they are big. If someone is red and they like the bear then they are round.
The bear is kind.
("bear" "is" "kind" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
If someone visits the bear then the bear does not visit the rabbit.
((("someone" "visits" "bear" "+")) -> ("bear" "visits" "rabbit" "-"))
If someone sees the rabbit and they like the bear then the rabbit likes the bear.
((("someone" "sees" "rabbit" "+") ("someone" "likes" "bear" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone visits the bear then they do not see the rabbit.
((("someone" "visits" "bear" "+")) -> ("someone" "sees" "rabbit" "-"))
If someone is kind then they see the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone visits the bear and they see the bear then they visit the rabbit.
((("someone" "visits" "bear" "+") ("someone" "sees" "bear" "+")) -> ("someone" "visits" "rabbit" "+"))
If the rabbit is big then the rabbit sees the bear.
((("rabbit" "is" "big" "+")) -> ("rabbit" "sees" "bear" "+"))
If someone sees the rabbit then they are big.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone is red and they like the bear then they are round.
((("someone" "is" "red" "+") ("someone" "likes" "bear" "+")) -> ("someone" "is" "round" "+"))
The rabbit does not like the bear.
True
1
proof
[(triple10)]
("rabbit" "likes" "bear" "-")
triple10
The bear does not like the rabbit.
False
1
inv-proof
[(triple5)]
("bear" "likes" "rabbit" "-")
triple5
The bear is big.
True
2
proof
[(((triple6) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]
("bear" "is" "big" "+")
((triple6) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear is not big.
False
2
inv-proof
[(((triple6) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]
("bear" "is" "big" "-")
((triple6) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "round" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is kind.[(triple1)] The bear is not red.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear likes the rabbit.[(triple5)] The bear sees the rabbit.[(triple6 OR ((triple1) -> rule4))] The bear visits the rabbit.[(triple7)] The rabbit does not like the bear.[(triple10)] The rabbit does not visit the bear.[(triple12)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit sees the bear.[(triple11)] @1: The bear is big.[(((triple6) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is not red.
("bear" "is" "red" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple6
((triple1) -> (rule4 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple10
The rabbit does not visit the bear.
("rabbit" "visits" "bear" "-")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The bear is big.
("bear" "is" "big" "+")
((triple6) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2