The bald eagle eats the cow. The bald eagle is not big. The cow eats the bald eagle. The cow is big. The cow is not round. The squirrel chases the cow. The squirrel eats the bald eagle. The squirrel does not eat the tiger. The squirrel is not big. The squirrel visits the tiger. The tiger chases the bald eagle. The tiger is nice. If something visits the cow then the cow does not chase the bald eagle. If the tiger chases the bald eagle then the tiger is round. If something is young then it visits the squirrel. If something visits the tiger then it does not visit the cow. If something is rough then it eats the cow. Round things are young. If something visits the squirrel then the squirrel is rough. If something eats the squirrel then the squirrel chases the tiger. If something eats the bald eagle and the bald eagle visits the cow then the bald eagle is not round.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not round.
("cow" "is" "round" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something visits the cow then the cow does not chase the bald eagle.
((("something" "visits" "cow" "+")) -> ("cow" "chases" "bald eagle" "-"))
If the tiger chases the bald eagle then the tiger is round.
((("tiger" "chases" "bald eagle" "+")) -> ("tiger" "is" "round" "+"))
If something is young then it visits the squirrel.
((("something" "is" "young" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the tiger then it does not visit the cow.
((("something" "visits" "tiger" "+")) -> ("something" "visits" "cow" "-"))
If something is rough then it eats the cow.
((("something" "is" "rough" "+")) -> ("something" "eats" "cow" "+"))
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something visits the squirrel then the squirrel is rough.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something eats the squirrel then the squirrel chases the tiger.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something eats the bald eagle and the bald eagle visits the cow then the bald eagle is not round.
((("something" "eats" "bald eagle" "+") ("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "is" "round" "-"))
The cow eats the bald eagle.
True
1
proof
[(triple3)]
("cow" "eats" "bald eagle" "+")
triple3
The bald eagle is big.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The squirrel does not visit the cow.
True
2
proof
[(((triple10) -> rule4))]
("squirrel" "visits" "cow" "-")
((triple10) -> (rule4 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The squirrel visits the cow.
False
2
inv-proof
[(((triple10) -> rule4))]
("squirrel" "visits" "cow" "+")
((triple10) -> (rule4 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The tiger is young.
True
3
proof
[(((((triple11) -> rule2)) -> rule6))]
("tiger" "is" "young" "+")
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is not young.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule6))]
("tiger" "is" "young" "-")
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger visits the squirrel.
True
4
proof
[(((((((triple11) -> rule2)) -> rule6)) -> rule3))]
("tiger" "visits" "squirrel" "+")
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger does not visit the squirrel.
False
4
inv-proof
[(((((((triple11) -> rule2)) -> rule6)) -> rule3))]
("tiger" "visits" "squirrel" "-")
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The squirrel is rough.
True
5
proof
[(((((((((triple11) -> rule2)) -> rule6)) -> rule3)) -> rule7))]
("squirrel" "is" "rough" "+")
((((((((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The squirrel is not rough.
False
5
inv-proof
[(((((((((triple11) -> rule2)) -> rule6)) -> rule3)) -> rule7))]
("squirrel" "is" "rough" "-")
((((((((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The squirrel eats the cow.
True
6
proof
[(((((((((((triple11) -> rule2)) -> rule6)) -> rule3)) -> rule7)) -> rule5))]
("squirrel" "eats" "cow" "+")
((((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The squirrel does not eat the cow.
False
6
inv-proof
[(((((((((((triple11) -> rule2)) -> rule6)) -> rule3)) -> rule7)) -> rule5))]
("squirrel" "eats" "cow" "-")
((((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@2: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "+")
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "eats" "cow" "-")
The tiger eats the cow.
Unknown
rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "eats" "cow" "+")
The squirrel does not chase the tiger.
Unknown
inv-rconc
[@1: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "chases" "tiger" "-")
The cow visits the squirrel.
Unknown
rconc
[@2: The cow visits the squirrel.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("cow" "visits" "squirrel" "+")
The tiger does not visit the cow.
Unknown
inv-random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "-")
The tiger eats the squirrel.
Unknown
random
[@0: The tiger eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "squirrel" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
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" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is not big.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow is big.[(triple4)] The cow is not round.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel does not eat the tiger.[(triple8)] The squirrel eats the bald eagle.[(triple7)] The squirrel is not big.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger is nice.[(triple12)] @1: The squirrel does not visit the cow.[(((triple10) -> rule4))] The tiger is round.[(((triple11) -> rule2))] @2: The tiger is young.[(((((triple11) -> rule2)) -> rule6))] @3: The tiger visits the squirrel.[(((((((triple11) -> rule2)) -> rule6)) -> rule3))] @4: The squirrel is rough.[(((((((((triple11) -> rule2)) -> rule6)) -> rule3)) -> rule7))] @5: The squirrel eats the cow.[(((((((((((triple11) -> rule2)) -> rule6)) -> rule3)) -> rule7)) -> rule5))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is not round.
("cow" "is" "round" "-")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple7
The squirrel is not big.
("squirrel" "is" "big" "-")
triple9
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple10
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
((triple10) -> (rule4 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple11) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((((((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((((((((((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5