The bald eagle eats the squirrel. The bald eagle does not eat the tiger. The bald eagle is red. The bald eagle is rough. The squirrel eats the bald eagle. The squirrel is green. The squirrel likes the bald eagle. The squirrel does not like the tiger. The squirrel does not see the bald eagle. The squirrel does not see the tiger. The tiger eats the bald eagle. The tiger does not eat the squirrel. The tiger is not kind. The tiger is not rough. The tiger likes the squirrel. The tiger sees the squirrel. If something likes the tiger and the tiger is not rough then the tiger is not red. If something eats the tiger then the tiger is red. If the bald eagle does not like the squirrel then the squirrel eats the tiger. If something likes the squirrel then the squirrel eats the tiger. If something sees the bald eagle and the bald eagle likes the tiger then the bald eagle sees the squirrel. If something eats the bald eagle and the bald eagle eats the squirrel then the bald eagle is red.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something likes the tiger and the tiger is not rough then the tiger is not red.
((("something" "likes" "tiger" "+") ("tiger" "is" "rough" "~")) -> ("tiger" "is" "red" "-"))
If something eats the tiger then the tiger is red.
((("something" "eats" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If the bald eagle does not like the squirrel then the squirrel eats the tiger.
((("bald eagle" "likes" "squirrel" "~")) -> ("squirrel" "eats" "tiger" "+"))
If something likes the squirrel then the squirrel eats the tiger.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
If something sees the bald eagle and the bald eagle likes the tiger then the bald eagle sees the squirrel.
((("something" "sees" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If something eats the bald eagle and the bald eagle eats the squirrel then the bald eagle is red.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "squirrel" "+")) -> ("bald eagle" "is" "red" "+"))
The bald eagle is red.
True
1
proof
[(triple3 OR ((triple11 triple1) -> rule6) OR ((triple5 triple1) -> rule6))]
("bald eagle" "is" "red" "+")
triple3
((triple11 triple1) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple5 triple1) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "tiger" "+")
triple2
The squirrel eats the tiger.
True
2
proof
[(((triple15) -> rule4))]
("squirrel" "eats" "tiger" "+")
((triple15) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel does not eat the tiger.
False
2
inv-proof
[(((triple15) -> rule4))]
("squirrel" "eats" "tiger" "-")
((triple15) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The tiger is red.
True
3
proof
[(((((triple15) -> rule4)) -> rule2))]
("tiger" "is" "red" "+")
((((triple15) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The tiger is not red.
False
3
inv-proof
[(((((triple15) -> rule4)) -> rule2))]
("tiger" "is" "red" "-")
((((triple15) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not like the squirrel.
Unknown
inv-random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The tiger does not see the bald eagle.
Unknown
inv-random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the squirrel.[(triple1)] The bald eagle is red.[(triple3 OR ((triple11 triple1) -> rule6) OR ((triple5 triple1) -> rule6))] The bald eagle is rough.[(triple4)] The squirrel does not like the tiger.[(triple8)] The squirrel does not see the bald eagle.[(triple9)] The squirrel does not see the tiger.[(triple10)] The squirrel eats the bald eagle.[(triple5)] The squirrel is green.[(triple6)] The squirrel likes the bald eagle.[(triple7)] The tiger does not eat the squirrel.[(triple12)] The tiger eats the bald eagle.[(triple11)] The tiger is not kind.[(triple13)] The tiger is not rough.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel eats the tiger.[(((triple15) -> rule4))] @2: The tiger is red.[(((((triple15) -> rule4)) -> rule2))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
((triple11 triple1) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((triple5 triple1) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
triple8
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple9
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple7
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger is not kind.
("tiger" "is" "kind" "-")
triple13
The tiger is not rough.
("tiger" "is" "rough" "-")
triple14
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((triple15) -> (rule4 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple15) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2