The bald eagle is green. The cat visits the bald eagle. The squirrel eats the bald eagle. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger eats the cat. The tiger visits the cat. If something chases the cat then it is rough. If something visits the tiger then the tiger eats the bald eagle. If something visits the bald eagle then the bald eagle eats the tiger. If something is rough then it eats the cat. If the cat eats the tiger and the tiger chases the squirrel then the squirrel eats the cat. Green things are big. If something eats the bald eagle then it chases the cat. If something visits the bald eagle then the bald eagle is big.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something chases the cat then it is rough.
((("something" "chases" "cat" "+")) -> ("something" "is" "rough" "+"))
If something visits the tiger then the tiger eats the bald eagle.
((("something" "visits" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle eats the tiger.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If something is rough then it eats the cat.
((("something" "is" "rough" "+")) -> ("something" "eats" "cat" "+"))
If the cat eats the tiger and the tiger chases the squirrel then the squirrel eats the cat.
((("cat" "eats" "tiger" "+") ("tiger" "chases" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
Green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something eats the bald eagle then it chases the cat.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "cat" "+"))
If something visits the bald eagle then the bald eagle is big.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The squirrel eats the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "eats" "bald eagle" "+")
triple3
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "visits" "bald eagle" "-")
triple2
The bald eagle eats the tiger.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "eats" "tiger" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the tiger.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "eats" "tiger" "-")
((triple2) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The squirrel is rough.
True
3
proof
[(((((triple3) -> rule7)) -> rule1))]
("squirrel" "is" "rough" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel is not rough.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule1))]
("squirrel" "is" "rough" "-")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel eats the cat.
True
4
proof
[(((((((triple3) -> rule7)) -> rule1)) -> rule4))]
("squirrel" "eats" "cat" "+")
((((((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The squirrel does not eat the cat.
False
4
inv-proof
[(((((((triple3) -> rule7)) -> rule1)) -> rule4))]
("squirrel" "eats" "cat" "-")
((((((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@3: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule7 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The bald eagle is rough.
Unknown
rconc
[@2: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "cat" "-")
The tiger is big.
Unknown
rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "big" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cat does not eat the squirrel.
Unknown
inv-random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "-")
The cat visits the tiger.
Unknown
random
[@0: The cat visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "tiger" "+")
@0: The bald eagle is green.[(triple1)] The cat visits the bald eagle.[(triple2)] The squirrel eats the bald eagle.[(triple3)] The tiger chases the bald eagle.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger eats the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The bald eagle eats the tiger.[(((triple2) -> rule3))] The bald eagle is big.[(((triple1) -> rule6) OR ((triple2) -> rule8))] The squirrel chases the cat.[(((triple3) -> rule7))] @2: The squirrel is rough.[(((((triple3) -> rule7)) -> rule1))] @3: The squirrel eats the cat.[(((((((triple3) -> rule7)) -> rule1)) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple6
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple7
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple1) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
((triple2) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((triple3) -> (rule7 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((((((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int3