The bald eagle eats the dog. The bald eagle is cold. The dog eats the lion. The dog eats the tiger. The lion chases the bald eagle. The lion chases the tiger. The lion eats the bald eagle. The lion is cold. The lion likes the bald eagle. The tiger chases the bald eagle. The tiger chases the dog. The tiger chases the lion. The tiger is round. The tiger likes the bald eagle. The tiger likes the dog. If someone chases the dog and they chase the bald eagle then they eat the tiger. If someone eats the tiger then they eat the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone chases the dog and they chase the bald eagle then they eat the tiger.
((("someone" "chases" "dog" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the tiger then they eat the bald eagle.
((("someone" "eats" "tiger" "+")) -> ("someone" "eats" "bald eagle" "+"))
The tiger likes the bald eagle.
True
1
proof
[(triple14)]
("tiger" "likes" "bald eagle" "+")
triple14
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple10)]
("tiger" "chases" "bald eagle" "-")
triple10
The dog eats the bald eagle.
True
2
proof
[(((triple4) -> rule2))]
("dog" "eats" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "eats" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The tiger eats the bald eagle.
True
4
proof
[(((((triple11 triple10) -> rule1)) -> rule2))]
("tiger" "eats" "bald eagle" "+")
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger does not eat the bald eagle.
False
4
inv-proof
[(((((triple11 triple10) -> rule1)) -> rule2))]
("tiger" "eats" "bald eagle" "-")
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The lion eats the tiger.
Unknown
rconc
[@1: The lion eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "tiger" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The dog likes the lion.
Unknown
random
[@0: The dog likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "lion" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is cold.[(triple2)] The dog eats the lion.[(triple3)] The dog eats the tiger.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the tiger.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is cold.[(triple8)] The lion likes the bald eagle.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger chases the dog.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is round.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the dog.[(triple15)] @1: The dog eats the bald eagle.[(((triple4) -> rule2))] The tiger eats the tiger.[(((triple11 triple10) -> rule1))] @2: The tiger eats the bald eagle.[(((((triple11 triple10) -> rule1)) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple11
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple15
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple11 triple10) -> (rule1 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2