The bear is green. The bear is rough. The bear is young. The bear likes the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is green. The rabbit is not kind. The rabbit is red. The rabbit is not young. The rabbit sees the bear. The rabbit visits the bear. If something is red then it sees the rabbit. If the rabbit likes the bear and the bear does not visit the rabbit then the bear sees the rabbit. If something likes the bear then the bear does not see the rabbit. If something is young and it does not see the bear then it likes the rabbit. If something likes the bear then it does not like the rabbit. If something is young and it visits the bear then it is green.
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
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 green.
("rabbit" "is" "green" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something is red then it sees the rabbit.
((("something" "is" "red" "+")) -> ("something" "sees" "rabbit" "+"))
If the rabbit likes the bear and the bear does not visit the rabbit then the bear sees the rabbit.
((("rabbit" "likes" "bear" "+") ("bear" "visits" "rabbit" "~")) -> ("bear" "sees" "rabbit" "+"))
If something likes the bear then the bear does not see the rabbit.
((("something" "likes" "bear" "+")) -> ("bear" "sees" "rabbit" "-"))
If something is young and it does not see the bear then it likes the rabbit.
((("something" "is" "young" "+") ("something" "sees" "bear" "~")) -> ("something" "likes" "rabbit" "+"))
If something likes the bear then it does not like the rabbit.
((("something" "likes" "bear" "+")) -> ("something" "likes" "rabbit" "-"))
If something is young and it visits the bear then it is green.
((("something" "is" "young" "+") ("something" "visits" "bear" "+")) -> ("something" "is" "green" "+"))
The bear visits the rabbit.
True
1
proof
[(triple6)]
("bear" "visits" "rabbit" "+")
triple6
The bear is not young.
False
1
inv-proof
[(triple3)]
("bear" "is" "young" "-")
triple3
The rabbit sees the rabbit.
True
2
proof
[(((triple9) -> rule1))]
("rabbit" "sees" "rabbit" "+")
((triple9) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit does not see the rabbit.
False
2
inv-proof
[(((triple9) -> rule1))]
("rabbit" "sees" "rabbit" "-")
((triple9) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
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 rabbit likes the bear.
Unknown
random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "+")
@0: The bear is green.[(triple1)] The bear is rough.[(triple2)] The bear is young.[(triple3)] The bear likes the rabbit.[(triple4)] The bear sees the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit is green.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit is not young.[(triple10)] The rabbit is red.[(triple9)] The rabbit sees the bear.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The rabbit sees the rabbit.[(((triple9) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit is not young.
("rabbit" "is" "young" "-")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple9) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1