The bear is young. The bear does not see the rabbit. The dog does not see the rabbit. The lion eats the dog. The lion is red. The lion sees the dog. The lion visits the bear. The rabbit eats the lion. The rabbit is not young. The rabbit sees the dog. If someone sees the bear then they are young. If someone is nice and they eat the rabbit then they visit the dog. If someone sees the bear then they are nice. If the rabbit eats the dog and the rabbit does not eat the bear then the dog eats the bear. If the dog eats the lion and the lion sees the dog then the dog eats the bear. If someone eats the dog then they do not see the bear.
The bear is young.
("bear" "is" "young" "+")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is red.
("lion" "is" "red" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone sees the bear then they are young.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and they eat the rabbit then they visit the dog.
((("someone" "is" "nice" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "visits" "dog" "+"))
If someone sees the bear then they are nice.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "nice" "+"))
If the rabbit eats the dog and the rabbit does not eat the bear then the dog eats the bear.
((("rabbit" "eats" "dog" "+") ("rabbit" "eats" "bear" "~")) -> ("dog" "eats" "bear" "+"))
If the dog eats the lion and the lion sees the dog then the dog eats the bear.
((("dog" "eats" "lion" "+") ("lion" "sees" "dog" "+")) -> ("dog" "eats" "bear" "+"))
If someone eats the dog then they do not see the bear.
((("someone" "eats" "dog" "+")) -> ("someone" "sees" "bear" "-"))
The rabbit sees the dog.
True
1
proof
[(triple10)]
("rabbit" "sees" "dog" "+")
triple10
The lion does not eat the dog.
False
1
inv-proof
[(triple4)]
("lion" "eats" "dog" "-")
triple4
The lion does not see the bear.
True
2
proof
[(((triple4) -> rule6))]
("lion" "sees" "bear" "-")
((triple4) -> (rule6 % int1))
The lion does not see the bear.
("lion" "sees" "bear" "-")
int1
The lion sees the bear.
False
2
inv-proof
[(((triple4) -> rule6))]
("lion" "sees" "bear" "+")
((triple4) -> (rule6 % int1))
The lion does not see the bear.
("lion" "sees" "bear" "-")
int1
The lion does not visit the dog.
Unknown
inv-rconc
[@1: The lion visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "dog" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bear does not see the rabbit.[(triple2)] The bear is young.[(triple1)] The dog does not see the rabbit.[(triple3)] The lion eats the dog.[(triple4)] The lion is red.[(triple5)] The lion sees the dog.[(triple6)] The lion visits the bear.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is not young.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The lion does not see the bear.[(((triple4) -> rule6))]
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple2
The bear is young.
("bear" "is" "young" "+")
triple1
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple3
The lion eats the dog.
("lion" "eats" "dog" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The lion sees the dog.
("lion" "sees" "dog" "+")
triple6
The lion visits the bear.
("lion" "visits" "bear" "+")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple8
The rabbit is not young.
("rabbit" "is" "young" "-")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The lion does not see the bear.
("lion" "sees" "bear" "-")
((triple4) -> (rule6 % int1))
The lion does not see the bear.
("lion" "sees" "bear" "-")
int1