The bald eagle is not blue. The bald eagle is nice. The bald eagle likes the dog. The bald eagle sees the cat. The cat likes the bald eagle. The cat likes the dog. The cat likes the tiger. The dog is green. The dog sees the bald eagle. The tiger eats the bald eagle. The tiger is nice. The tiger does not like the dog. If something likes the dog and the dog sees the tiger then the tiger sees the dog. If something sees the bald eagle then it sees the tiger. All young things are green.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
If something likes the dog and the dog sees the tiger then the tiger sees the dog.
((("something" "likes" "dog" "+") ("dog" "sees" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
If something sees the bald eagle then it sees the tiger.
((("something" "sees" "bald eagle" "+")) -> ("something" "sees" "tiger" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
The dog is green.
True
1
proof
[(triple8)]
("dog" "is" "green" "+")
triple8
The dog is not green.
False
1
inv-proof
[(triple8)]
("dog" "is" "green" "-")
triple8
The dog sees the tiger.
True
2
proof
[(((triple9) -> rule2))]
("dog" "sees" "tiger" "+")
((triple9) -> (rule2 % int1))
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int1
The dog does not see the tiger.
False
2
inv-proof
[(((triple9) -> rule2))]
("dog" "sees" "tiger" "-")
((triple9) -> (rule2 % int1))
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int1
The tiger sees the dog.
True
4
proof
[(((triple3 ((triple9) -> rule2)) -> rule1) OR ((triple6 ((triple9) -> rule2)) -> rule1))]
("tiger" "sees" "dog" "+")
((triple3 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
((triple6 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
The tiger does not see the dog.
False
4
inv-proof
[(((triple3 ((triple9) -> rule2)) -> rule1) OR ((triple6 ((triple9) -> rule2)) -> rule1))]
("tiger" "sees" "dog" "-")
((triple3 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
((triple6 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "green" "+")
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The bald eagle does not eat the tiger.
Unknown
inv-random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "-")
The cat eats the tiger.
Unknown
random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "+")
@0: The bald eagle is nice.[(triple2)] The bald eagle is not blue.[(triple1)] The bald eagle likes the dog.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the dog.[(triple6)] The cat likes the tiger.[(triple7)] The dog is green.[(triple8)] The dog sees the bald eagle.[(triple9)] The tiger does not like the dog.[(triple12)] The tiger eats the bald eagle.[(triple10)] The tiger is nice.[(triple11)] @1: The dog sees the tiger.[(((triple9) -> rule2))] @2: The tiger sees the dog.[(((triple3 ((triple9) -> rule2)) -> rule1) OR ((triple6 ((triple9) -> rule2)) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple9
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The dog sees the tiger.
("dog" "sees" "tiger" "+")
((triple9) -> (rule2 % int1))
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
((triple3 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
((triple6 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2