The bear does not see the tiger. The mouse likes the bear. The mouse likes the tiger. The mouse sees the rabbit. The rabbit is kind. The rabbit likes the bear. The rabbit sees the mouse. The tiger is red. The tiger is round. The tiger likes the rabbit. The tiger sees the bear. The tiger visits the mouse. If something sees the rabbit then it is not kind.
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If something sees the rabbit then it is not kind.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "kind" "-"))
The bear does not see the tiger.
True
1
proof
[(triple1)]
("bear" "sees" "tiger" "-")
triple1
The mouse does not like the bear.
False
1
inv-proof
[(triple2)]
("mouse" "likes" "bear" "-")
triple2
The mouse is not kind.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "is" "kind" "-")
((triple4) -> (rule1 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
The mouse is kind.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "is" "kind" "+")
((triple4) -> (rule1 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bear does not see the tiger.[(triple1)] The mouse likes the bear.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse sees the rabbit.[(triple4)] The rabbit is kind.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit sees the mouse.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The mouse is not kind.[(((triple4) -> rule1))]
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
triple1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple10
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple11
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple12
The mouse is not kind.
("mouse" "is" "kind" "-")
((triple4) -> (rule1 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1