The bald eagle is not rough. The tiger is round. If something likes the bald eagle and the bald eagle is not rough then it does not visit the bald eagle. If something is young and it does not like the tiger then it visits the bald eagle. If something visits the bald eagle then it is big. If something needs the bald eagle then the bald eagle visits the tiger. If something is rough and it does not visit the bald eagle then it needs the bald eagle. If something is round then it needs the bald eagle.
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The tiger is round.
("tiger" "is" "round" "+")
If something likes the bald eagle and the bald eagle is not rough then it does not visit the bald eagle.
((("something" "likes" "bald eagle" "+") ("bald eagle" "is" "rough" "~")) -> ("something" "visits" "bald eagle" "-"))
If something is young and it does not like the tiger then it visits the bald eagle.
((("something" "is" "young" "+") ("something" "likes" "tiger" "~")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then it is big.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something needs the bald eagle then the bald eagle visits the tiger.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something is rough and it does not visit the bald eagle then it needs the bald eagle.
((("something" "is" "rough" "+") ("something" "visits" "bald eagle" "~")) -> ("something" "needs" "bald eagle" "+"))
If something is round then it needs the bald eagle.
((("something" "is" "round" "+")) -> ("something" "needs" "bald eagle" "+"))
The tiger is round.
True
1
proof
[(triple2)]
("tiger" "is" "round" "+")
triple2
The tiger is not round.
False
1
inv-proof
[(triple2)]
("tiger" "is" "round" "-")
triple2
The tiger needs the bald eagle.
True
2
proof
[(((triple2) -> rule6))]
("tiger" "needs" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger does not need the bald eagle.
False
2
inv-proof
[(((triple2) -> rule6))]
("tiger" "needs" "bald eagle" "-")
((triple2) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle visits the tiger.
True
3
proof
[(((((triple2) -> rule6)) -> rule4))]
("bald eagle" "visits" "tiger" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bald eagle does not visit the tiger.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule4))]
("bald eagle" "visits" "tiger" "-")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bald eagle is not big.
Unknown
inv-rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The tiger does not visit the bald eagle.
Unknown
inv-rconc
[@1: The tiger visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "bald eagle" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle is not rough.[(triple1)] The tiger is round.[(triple2)] @1: The tiger needs the bald eagle.[(((triple2) -> rule6))] @2: The bald eagle visits the tiger.[(((((triple2) -> rule6)) -> rule4))]
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple1
The tiger is round.
("tiger" "is" "round" "+")
triple2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2