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