The bear is blue. The bear sees the dog. The bear sees the rabbit. The dog eats the bear. The dog sees the bear. The dog does not visit the rabbit. The rabbit eats the dog. The rabbit is blue. The rabbit is young. The rabbit sees the dog. If something is blue and it sees the dog then the dog eats the rabbit. If something sees the rabbit and the rabbit visits the bear then it is not blue. If something sees the dog and the dog sees the rabbit then it is nice. If something is blue and it does not eat the rabbit then the rabbit is young. If something visits the rabbit and it eats the bear then the rabbit is not nice. If something visits the dog and it does not eat the rabbit then the rabbit is nice.
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If something is blue and it sees the dog then the dog eats the rabbit.
((("something" "is" "blue" "+") ("something" "sees" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
If something sees the rabbit and the rabbit visits the bear then it is not blue.
((("something" "sees" "rabbit" "+") ("rabbit" "visits" "bear" "+")) -> ("something" "is" "blue" "-"))
If something sees the dog and the dog sees the rabbit then it is nice.
((("something" "sees" "dog" "+") ("dog" "sees" "rabbit" "+")) -> ("something" "is" "nice" "+"))
If something is blue and it does not eat the rabbit then the rabbit is young.
((("something" "is" "blue" "+") ("something" "eats" "rabbit" "~")) -> ("rabbit" "is" "young" "+"))
If something visits the rabbit and it eats the bear then the rabbit is not nice.
((("something" "visits" "rabbit" "+") ("something" "eats" "bear" "+")) -> ("rabbit" "is" "nice" "-"))
If something visits the dog and it does not eat the rabbit then the rabbit is nice.
((("something" "visits" "dog" "+") ("something" "eats" "rabbit" "~")) -> ("rabbit" "is" "nice" "+"))
The rabbit is young.
True
1
proof
[(triple9)]
("rabbit" "is" "young" "+")
triple9
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The dog eats the rabbit.
True
3
proof
[(((triple1 triple2) -> rule1) OR ((triple8 triple10) -> rule1))]
("dog" "eats" "rabbit" "+")
((triple1 triple2) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((triple8 triple10) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog does not eat the rabbit.
False
3
inv-proof
[(((triple1 triple2) -> rule1) OR ((triple8 triple10) -> rule1))]
("dog" "eats" "rabbit" "-")
((triple1 triple2) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((triple8 triple10) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "nice" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear is blue.[(triple1)] The bear sees the dog.[(triple2)] The bear sees the rabbit.[(triple3)] The dog does not visit the rabbit.[(triple6)] The dog eats the bear.[(triple4)] The dog sees the bear.[(triple5)] The rabbit eats the dog.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is young.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog eats the rabbit.[(((triple1 triple2) -> rule1) OR ((triple8 triple10) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple3
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple4
The dog sees the bear.
("dog" "sees" "bear" "+")
triple5
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
((triple1 triple2) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((triple8 triple10) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1