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