The bald eagle is blue. The bald eagle is cold. The bald eagle likes the tiger. The bald eagle needs the dog. The bald eagle visits the dog. The dog is round. The dog needs the tiger. The dog visits the bald eagle. The tiger is blue. The tiger is nice. The tiger is round. The tiger likes the dog. The tiger needs the bald eagle. The tiger needs the dog. The tiger visits the bald eagle. If something is cold and it needs the bald eagle then it is blue. If the bald eagle likes the tiger then the bald eagle is rough. If something is blue and it needs the dog then it likes the tiger. If something is blue and it visits the tiger then the tiger is nice. If something visits the dog and the dog is cold then the dog needs the tiger. If something needs the tiger then it needs the dog.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something is cold and it needs the bald eagle then it is blue.
((("something" "is" "cold" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If the bald eagle likes the tiger then the bald eagle is rough.
((("bald eagle" "likes" "tiger" "+")) -> ("bald eagle" "is" "rough" "+"))
If something is blue and it needs the dog then it likes the tiger.
((("something" "is" "blue" "+") ("something" "needs" "dog" "+")) -> ("something" "likes" "tiger" "+"))
If something is blue and it visits the tiger then the tiger is nice.
((("something" "is" "blue" "+") ("something" "visits" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If something visits the dog and the dog is cold then the dog needs the tiger.
((("something" "visits" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "needs" "tiger" "+"))
If something needs the tiger then it needs the dog.
((("something" "needs" "tiger" "+")) -> ("something" "needs" "dog" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple4)]
("bald eagle" "needs" "dog" "+")
triple4
The tiger is not round.
False
1
inv-proof
[(triple11)]
("tiger" "is" "round" "-")
triple11
The tiger likes the tiger.
True
3
proof
[(((triple9 triple14) -> rule3))]
("tiger" "likes" "tiger" "+")
((triple9 triple14) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger does not like the tiger.
False
3
inv-proof
[(((triple9 triple14) -> rule3))]
("tiger" "likes" "tiger" "-")
((triple9 triple14) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "-")
The dog likes the tiger.
Unknown
rconc
[@2: The dog likes the tiger.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("dog" "likes" "tiger" "+")
The dog does not like the bald eagle.
Unknown
inv-random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the tiger.[(triple3 OR ((triple1 triple4) -> rule3))] The bald eagle needs the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog is round.[(triple6)] The dog needs the tiger.[(triple7)] The dog visits the bald eagle.[(triple8)] The tiger is blue.[(triple9)] The tiger is nice.[(triple10)] The tiger is round.[(triple11)] The tiger likes the dog.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the dog.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The bald eagle is rough.[(((triple3) -> rule2) OR ((((triple1 triple4) -> rule3)) -> rule2))] The dog needs the dog.[(((triple7) -> rule6))] The tiger likes the tiger.[(((triple9 triple14) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
((triple1 triple4) -> (rule3 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple7
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple12
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple13
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((((triple1 triple4) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple7) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple9 triple14) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1