The bald eagle chases the cat. The bald eagle sees the cat. The cat is big. The cat visits the bald eagle. The tiger is kind. The tiger sees the bald eagle. The tiger sees the cat. If someone visits the tiger then they chase the tiger. If someone sees the bald eagle and they are kind then the bald eagle is young. If someone visits the bald eagle and they chase the bald eagle then they chase the cat. If the tiger visits the cat and the tiger is young then the tiger chases the cat. If the bald eagle chases the cat and the bald eagle chases the tiger then the bald eagle visits the tiger. If someone visits the tiger and they are kind then the tiger visits the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is big.
("cat" "is" "big" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone visits the tiger then they chase the tiger.
((("someone" "visits" "tiger" "+")) -> ("someone" "chases" "tiger" "+"))
If someone sees the bald eagle and they are kind then the bald eagle is young.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "is" "young" "+"))
If someone visits the bald eagle and they chase the bald eagle then they chase the cat.
((("someone" "visits" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "cat" "+"))
If the tiger visits the cat and the tiger is young then the tiger chases the cat.
((("tiger" "visits" "cat" "+") ("tiger" "is" "young" "+")) -> ("tiger" "chases" "cat" "+"))
If the bald eagle chases the cat and the bald eagle chases the tiger then the bald eagle visits the tiger.
((("bald eagle" "chases" "cat" "+") ("bald eagle" "chases" "tiger" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If someone visits the tiger and they are kind then the tiger visits the cat.
((("someone" "visits" "tiger" "+") ("someone" "is" "kind" "+")) -> ("tiger" "visits" "cat" "+"))
The tiger is kind.
True
1
proof
[(triple5)]
("tiger" "is" "kind" "+")
triple5
The bald eagle does not see the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "cat" "-")
triple2
The bald eagle is young.
True
3
proof
[(((triple6 triple5) -> rule2))]
("bald eagle" "is" "young" "+")
((triple6 triple5) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("bald eagle" "is" "young" "-")
((triple6 triple5) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@2: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The tiger chases the cat.
Unknown
rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "chases" "cat" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle sees the cat.[(triple2)] The cat is big.[(triple3)] The cat visits the bald eagle.[(triple4)] The tiger is kind.[(triple5)] The tiger sees the bald eagle.[(triple6)] The tiger sees the cat.[(triple7)] @1: The bald eagle is young.[(((triple6 triple5) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple4
The tiger is kind.
("tiger" "is" "kind" "+")
triple5
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple6
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple7
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple6 triple5) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1