The bear is nice. The rabbit likes the bear. If something sees the rabbit and it is red then the rabbit is not kind. If something is blue and it chases the rabbit then the rabbit sees the bear. If something likes the bear then the bear is blue.
The bear is nice.
("bear" "is" "nice" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If something sees the rabbit and it is red then the rabbit is not kind.
((("something" "sees" "rabbit" "+") ("something" "is" "red" "+")) -> ("rabbit" "is" "kind" "-"))
If something is blue and it chases the rabbit then the rabbit sees the bear.
((("something" "is" "blue" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "sees" "bear" "+"))
If something likes the bear then the bear is blue.
((("something" "likes" "bear" "+")) -> ("bear" "is" "blue" "+"))
The rabbit likes the bear.
True
1
proof
[(triple2)]
("rabbit" "likes" "bear" "+")
triple2
The rabbit does not like the bear.
False
1
inv-proof
[(triple2)]
("rabbit" "likes" "bear" "-")
triple2
The bear is blue.
True
2
proof
[(((triple2) -> rule3))]
("bear" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "is" "blue" "-")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The rabbit does not see the bear.
Unknown
inv-rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "bear" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
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 nice.[(triple1)] The rabbit likes the bear.[(triple2)] @1: The bear is blue.[(((triple2) -> rule3))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1