The bald eagle chases the tiger. The bald eagle is red. The bald eagle visits the tiger. The squirrel is blue. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is round. If the squirrel chases the tiger and the tiger chases the bald eagle then the squirrel chases the bald eagle. If something chases the bald eagle and it is red then it visits the bald eagle. If something needs the squirrel then the squirrel needs the bald eagle. If something chases the tiger and it is round then it needs the tiger. If something needs the squirrel then the squirrel is green. If something needs the tiger then the tiger chases the squirrel. If something chases the bald eagle and the bald eagle visits the tiger then the bald eagle needs the squirrel. If something needs the bald eagle then the bald eagle chases the squirrel.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the squirrel chases the tiger and the tiger chases the bald eagle then the squirrel chases the bald eagle.
((("squirrel" "chases" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something chases the bald eagle and it is red then it visits the bald eagle.
((("something" "chases" "bald eagle" "+") ("something" "is" "red" "+")) -> ("something" "visits" "bald eagle" "+"))
If something needs the squirrel then the squirrel needs the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If something chases the tiger and it is round then it needs the tiger.
((("something" "chases" "tiger" "+") ("something" "is" "round" "+")) -> ("something" "needs" "tiger" "+"))
If something needs the squirrel then the squirrel is green.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
If something needs the tiger then the tiger chases the squirrel.
((("something" "needs" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If something chases the bald eagle and the bald eagle visits the tiger then the bald eagle needs the squirrel.
((("something" "chases" "bald eagle" "+") ("bald eagle" "visits" "tiger" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If something needs the bald eagle then the bald eagle chases the squirrel.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
The tiger is round.
True
1
proof
[(triple7)]
("tiger" "is" "round" "+")
triple7
The tiger does not chase the squirrel.
False
1
inv-proof
[(triple6)]
("tiger" "chases" "squirrel" "-")
triple6
The bald eagle needs the squirrel.
True
3
proof
[(((triple5 triple3) -> rule7))]
("bald eagle" "needs" "squirrel" "+")
((triple5 triple3) -> (rule7 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle does not need the squirrel.
False
3
inv-proof
[(((triple5 triple3) -> rule7))]
("bald eagle" "needs" "squirrel" "-")
((triple5 triple3) -> (rule7 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The squirrel is green.
True
4
proof
[(((((triple5 triple3) -> rule7)) -> rule5))]
("squirrel" "is" "green" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The squirrel is not green.
False
4
inv-proof
[(((((triple5 triple3) -> rule7)) -> rule5))]
("squirrel" "is" "green" "-")
((((triple5 triple3) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle chases the squirrel.
True
5
proof
[(((((((triple5 triple3) -> rule7)) -> rule3)) -> rule8))]
("bald eagle" "chases" "squirrel" "+")
((((((triple5 triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The bald eagle does not chase the squirrel.
False
5
inv-proof
[(((((((triple5 triple3) -> rule7)) -> rule3)) -> rule8))]
("bald eagle" "chases" "squirrel" "-")
((((((triple5 triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The squirrel does not need the tiger.
Unknown
inv-rconc
[@1: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "tiger" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel visits the tiger.
Unknown
random
[@0: The squirrel visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "tiger" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle visits the tiger.[(triple3)] The squirrel is blue.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger is round.[(triple7)] @1: The bald eagle needs the squirrel.[(((triple5 triple3) -> rule7))] @2: The squirrel is green.[(((((triple5 triple3) -> rule7)) -> rule5))] The squirrel needs the bald eagle.[(((((triple5 triple3) -> rule7)) -> rule3))] @3: The bald eagle chases the squirrel.[(((((((triple5 triple3) -> rule7)) -> rule3)) -> rule8))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple5
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple6
The tiger is round.
("tiger" "is" "round" "+")
triple7
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
((triple5 triple3) -> (rule7 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((((triple5 triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3