The bald eagle is not young. The bald eagle does not like the mouse. The bald eagle needs the cow. The bald eagle visits the cow. The bald eagle visits the mouse. The bald eagle visits the tiger. The cow does not like the bald eagle. The mouse is big. The mouse is nice. The mouse needs the cow. The mouse visits the cow. The tiger visits the bald eagle. If something likes the bald eagle then it is nice. If the bald eagle is big then the bald eagle visits the mouse. If something is young then it visits the cow. If the mouse needs the cow and the mouse is young then the cow visits the bald eagle. If something is big then it likes the bald eagle. If something visits the bald eagle then it is big.
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something likes the bald eagle then it is nice.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If the bald eagle is big then the bald eagle visits the mouse.
((("bald eagle" "is" "big" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something is young then it visits the cow.
((("something" "is" "young" "+")) -> ("something" "visits" "cow" "+"))
If the mouse needs the cow and the mouse is young then the cow visits the bald eagle.
((("mouse" "needs" "cow" "+") ("mouse" "is" "young" "+")) -> ("cow" "visits" "bald eagle" "+"))
If something is big then it likes the bald eagle.
((("something" "is" "big" "+")) -> ("something" "likes" "bald eagle" "+"))
If something visits the bald eagle then it is big.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "big" "+"))
The mouse is big.
True
1
proof
[(triple8)]
("mouse" "is" "big" "+")
triple8
The bald eagle does not need the cow.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "cow" "-")
triple3
The mouse likes the bald eagle.
True
2
proof
[(((triple8) -> rule5))]
("mouse" "likes" "bald eagle" "+")
((triple8) -> (rule5 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The tiger is not big.
False
2
inv-proof
[(((triple12) -> rule6))]
("tiger" "is" "big" "-")
((triple12) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the bald eagle.
True
3
proof
[(((((triple12) -> rule6)) -> rule5))]
("tiger" "likes" "bald eagle" "+")
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger does not like the bald eagle.
False
3
inv-proof
[(((((triple12) -> rule6)) -> rule5))]
("tiger" "likes" "bald eagle" "-")
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
True
4
proof
[(((((((triple12) -> rule6)) -> rule5)) -> rule1))]
("tiger" "is" "nice" "+")
((((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is not nice.
False
4
inv-proof
[(((((((triple12) -> rule6)) -> rule5)) -> rule1))]
("tiger" "is" "nice" "-")
((((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "cow" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "big" "+")
The bald eagle is not nice.
Unknown
inv-rconc
[@3: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule6 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The cow visits the bald eagle.
Unknown
rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "visits" "bald eagle" "+")
The tiger does not visit the mouse.
Unknown
inv-random
[@0: The tiger visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "mouse" "-")
The mouse needs the tiger.
Unknown
random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle does not like the mouse.[(triple2)] The bald eagle is not young.[(triple1)] The bald eagle needs the cow.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bald eagle visits the tiger.[(triple6)] The cow does not like the bald eagle.[(triple7)] The mouse is big.[(triple8)] The mouse is nice.[(triple9 OR ((((triple8) -> rule5)) -> rule1))] The mouse needs the cow.[(triple10)] The mouse visits the cow.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The mouse likes the bald eagle.[(((triple8) -> rule5))] The tiger is big.[(((triple12) -> rule6))] @2: The tiger likes the bald eagle.[(((((triple12) -> rule6)) -> rule5))] @3: The tiger is nice.[(((((((triple12) -> rule6)) -> rule5)) -> rule1))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple6
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple7
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
((((triple8) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple10
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple11
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple12
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
((triple8) -> (rule5 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple12) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3