The bald eagle chases the tiger. The bear is kind. The tiger eats the bear. If something is cold then it chases the bear. If something chases the tiger then the tiger chases the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bear is kind.
("bear" "is" "kind" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
If something is cold then it chases the bear.
((("something" "is" "cold" "+")) -> ("something" "chases" "bear" "+"))
If something chases the tiger then the tiger chases the bald eagle.
((("something" "chases" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
triple2
The tiger chases the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("tiger" "chases" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("tiger" "chases" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger does not chase the bear.
Unknown
inv-rconc
[@1: The tiger chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "bear" "-")
The bear chases the bear.
Unknown
rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bear" "+")
The tiger does not like the bear.
Unknown
inv-random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "-")
The bear likes the tiger.
Unknown
random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bear is kind.[(triple2)] The tiger eats the bear.[(triple3)] @1: The tiger chases the bald eagle.[(((triple1) -> rule2))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1