The bear eats the dog. The bear eats the rabbit. The bear sees the dog. The cat is green. The cat is rough. The dog eats the bear. The dog eats the cat. The dog eats the rabbit. The dog is rough. The dog needs the cat. The dog needs the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit needs the bear. The rabbit sees the bear. If something eats the rabbit then the rabbit sees the cat. If something eats the dog and it eats the cat then the dog is cold.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If something eats the rabbit then the rabbit sees the cat.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "sees" "cat" "+"))
If something eats the dog and it eats the cat then the dog is cold.
((("something" "eats" "dog" "+") ("something" "eats" "cat" "+")) -> ("dog" "is" "cold" "+"))
The bear eats the rabbit.
True
1
proof
[(triple2)]
("bear" "eats" "rabbit" "+")
triple2
The rabbit does not see the bear.
False
1
inv-proof
[(triple15)]
("rabbit" "sees" "bear" "-")
triple15
The rabbit sees the cat.
True
2
proof
[(((triple2) -> rule1) OR ((triple8) -> rule1))]
("rabbit" "sees" "cat" "+")
((triple2) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit does not see the cat.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple8) -> rule1))]
("rabbit" "sees" "cat" "-")
((triple2) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "cold" "-")
The rabbit eats the bear.
Unknown
random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear sees the dog.[(triple3)] The cat is green.[(triple4)] The cat is rough.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the cat.[(triple7)] The dog eats the rabbit.[(triple8)] The dog is rough.[(triple9)] The dog needs the cat.[(triple10)] The dog needs the rabbit.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is green.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit sees the bear.[(triple15)] @1: The rabbit sees the cat.[(((triple2) -> rule1) OR ((triple8) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple7
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog needs the cat.
("dog" "needs" "cat" "+")
triple10
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple2) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1