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