The bald eagle visits the tiger. The cow is nice. The squirrel is rough. The tiger eats the bald eagle. If someone is big then they need the bald eagle. If someone visits the bald eagle then they do not eat the cow. If someone needs the tiger then they are big. If someone visits the bald eagle then they are big. If the tiger eats the bald eagle and the tiger is not green then the bald eagle needs the tiger. If someone is rough then they visit the bald eagle. If someone is big and they need the cow then they are young. If someone is rough and not big then they need the cow.
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
If someone is big then they need the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle then they do not eat the cow.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "eats" "cow" "-"))
If someone needs the tiger then they are big.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "big" "+"))
If someone visits the bald eagle then they are big.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If the tiger eats the bald eagle and the tiger is not green then the bald eagle needs the tiger.
((("tiger" "eats" "bald eagle" "+") ("tiger" "is" "green" "~")) -> ("bald eagle" "needs" "tiger" "+"))
If someone is rough then they visit the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is big and they need the cow then they are young.
((("someone" "is" "big" "+") ("someone" "needs" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and not big then they need the cow.
((("someone" "is" "rough" "+") ("someone" "is" "big" "~")) -> ("someone" "needs" "cow" "+"))
The bald eagle visits the tiger.
True
1
proof
[(triple1)]
("bald eagle" "visits" "tiger" "+")
triple1
The bald eagle does not visit the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "tiger" "-")
triple1
The squirrel visits the bald eagle.
True
2
proof
[(((triple3) -> rule6))]
("squirrel" "visits" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule6))]
("squirrel" "visits" "bald eagle" "-")
((triple3) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is big.
True
3
proof
[(((((triple3) -> rule6)) -> rule4))]
("squirrel" "is" "big" "+")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel eats the cow.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule2))]
("squirrel" "eats" "cow" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel needs the bald eagle.
True
4
proof
[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]
("squirrel" "needs" "bald eagle" "+")
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel does not need the bald eagle.
False
4
inv-proof
[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]
("squirrel" "needs" "bald eagle" "-")
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@3: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule5 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cow is big.
Unknown
rconc
[@2: The cow is big.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("cow" "is" "big" "+")
The tiger does not need the bald eagle.
Unknown
inv-rconc
[@3: The tiger needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule6 <- FAIL)]]
("tiger" "needs" "bald eagle" "-")
The cow needs the bald eagle.
Unknown
rconc
[@3: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule6 <- FAIL)]]
("cow" "needs" "bald eagle" "+")
The tiger does not need the squirrel.
Unknown
inv-random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bald eagle visits the tiger.[(triple1)] The cow is nice.[(triple2)] The squirrel is rough.[(triple3)] The tiger eats the bald eagle.[(triple4)] @1: The squirrel visits the bald eagle.[(((triple3) -> rule6))] @2: The squirrel does not eat the cow.[(((((triple3) -> rule6)) -> rule2))] The squirrel is big.[(((((triple3) -> rule6)) -> rule4))] @3: The squirrel needs the bald eagle.[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3