The bear sees the rabbit. The dog eats the rabbit. The rabbit sees the bear. If something sees the bear then the bear chases the rabbit.
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something sees the bear then the bear chases the rabbit.
((("something" "sees" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
The dog eats the rabbit.
True
1
proof
[(triple2)]
("dog" "eats" "rabbit" "+")
triple2
The dog does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("dog" "eats" "rabbit" "-")
triple2
The bear chases the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("bear" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear does not chase the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "chases" "rabbit" "-")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The dog does not see the bear.
Unknown
inv-random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit does not eat the bear.
Unknown
inv-random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear sees the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The rabbit sees the bear.[(triple3)] @1: The bear chases the rabbit.[(((triple3) -> rule1))]
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1