The bear is not round. The cow likes the rabbit. The rabbit is red. If someone visits the rabbit and they like the rabbit then they are not rough. If someone is red then they are rough. If someone is round and they like the bear then the bear sees the rabbit. If someone sees the rabbit and they are rough then the rabbit likes the cow. If someone sees the rabbit and the rabbit does not like the bear then the bear likes the cow. If someone sees the rabbit then they are not blue. Green people are not red. If someone sees the bear and they are not blue then they like the cow.
The bear is not round.
("bear" "is" "round" "-")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If someone visits the rabbit and they like the rabbit then they are not rough.
((("someone" "visits" "rabbit" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "rough" "-"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and they like the bear then the bear sees the rabbit.
((("someone" "is" "round" "+") ("someone" "likes" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
If someone sees the rabbit and they are rough then the rabbit likes the cow.
((("someone" "sees" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("rabbit" "likes" "cow" "+"))
If someone sees the rabbit and the rabbit does not like the bear then the bear likes the cow.
((("someone" "sees" "rabbit" "+") ("rabbit" "likes" "bear" "~")) -> ("bear" "likes" "cow" "+"))
If someone sees the rabbit then they are not blue.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "blue" "-"))
Green people are not red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "-"))
If someone sees the bear and they are not blue then they like the cow.
((("someone" "sees" "bear" "+") ("someone" "is" "blue" "~")) -> ("someone" "likes" "cow" "+"))
The cow likes the rabbit.
True
1
proof
[(triple2)]
("cow" "likes" "rabbit" "+")
triple2
The cow does not like the rabbit.
False
1
inv-proof
[(triple2)]
("cow" "likes" "rabbit" "-")
triple2
The rabbit is rough.
True
2
proof
[(((triple3) -> rule2))]
("rabbit" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("rabbit" "is" "rough" "-")
((triple3) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "likes" "cow" "-")
The rabbit likes the cow.
Unknown
rconc
[@2: The rabbit likes the cow.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("rabbit" "likes" "cow" "+")
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 cow visits the bear.
Unknown
random
[@0: The cow visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bear" "+")
@0: The bear is not round.[(triple1)] The cow likes the rabbit.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is rough.[(((triple3) -> rule2))]
The bear is not round.
("bear" "is" "round" "-")
triple1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1