The bald eagle is not kind. The bald eagle is young. The bald eagle sees the squirrel. The bear eats the tiger. The bear is blue. The bear sees the squirrel. The bear visits the tiger. The squirrel eats the bald eagle. The squirrel is not rough. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is nice. The tiger visits the bald eagle. The tiger visits the bear. If the tiger is rough then the tiger eats the squirrel. If someone sees the tiger then the tiger visits the bear. If someone is young then they eat the squirrel. If someone is nice then they see the bald eagle. If someone is young and they do not eat the bear then the bear eats the squirrel. If someone visits the squirrel then they see the bear. If someone sees the bald eagle then the bald eagle visits the squirrel. If the bear does not visit the squirrel and the bear does not eat the squirrel then the squirrel sees the bald eagle.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the tiger is rough then the tiger eats the squirrel.
((("tiger" "is" "rough" "+")) -> ("tiger" "eats" "squirrel" "+"))
If someone sees the tiger then the tiger visits the bear.
((("someone" "sees" "tiger" "+")) -> ("tiger" "visits" "bear" "+"))
If someone is young then they eat the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is nice then they see the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is young and they do not eat the bear then the bear eats the squirrel.
((("someone" "is" "young" "+") ("someone" "eats" "bear" "~")) -> ("bear" "eats" "squirrel" "+"))
If someone visits the squirrel then they see the bear.
((("someone" "visits" "squirrel" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the bald eagle then the bald eagle visits the squirrel.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If the bear does not visit the squirrel and the bear does not eat the squirrel then the squirrel sees the bald eagle.
((("bear" "visits" "squirrel" "~") ("bear" "eats" "squirrel" "~")) -> ("squirrel" "sees" "bald eagle" "+"))
The tiger is nice.
True
1
proof
[(triple13)]
("tiger" "is" "nice" "+")
triple13
The tiger does not eat the squirrel.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "squirrel" "-")
triple12
The bald eagle eats the squirrel.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "eats" "squirrel" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle does not eat the squirrel.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "eats" "squirrel" "-")
((triple2) -> (rule3 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle visits the squirrel.
True
3
proof
[(((((triple13) -> rule4)) -> rule7))]
("bald eagle" "visits" "squirrel" "+")
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The bald eagle does not visit the squirrel.
False
3
inv-proof
[(((((triple13) -> rule4)) -> rule7))]
("bald eagle" "visits" "squirrel" "-")
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The bald eagle sees the bear.
True
4
proof
[(((((((triple13) -> rule4)) -> rule7)) -> rule6))]
("bald eagle" "sees" "bear" "+")
((((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The bald eagle does not see the bear.
False
4
inv-proof
[(((((((triple13) -> rule4)) -> rule7)) -> rule6))]
("bald eagle" "sees" "bear" "-")
((((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "sees" "bear" "-")
The squirrel sees the bear.
Unknown
rconc
[@1: The squirrel sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "bear" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear eats the squirrel.
Unknown
rconc
[@1: The bear eats the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "squirrel" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is not kind.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bear eats the tiger.[(triple4)] The bear is blue.[(triple5)] The bear sees the squirrel.[(triple6)] The bear visits the tiger.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel is not rough.[(triple9)] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger is nice.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bald eagle eats the squirrel.[(((triple2) -> rule3))] The tiger sees the bald eagle.[(((triple13) -> rule4))] @2: The bald eagle visits the squirrel.[(((((triple13) -> rule4)) -> rule7))] @3: The bald eagle sees the bear.[(((((((triple13) -> rule4)) -> rule7)) -> rule6))]
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple6
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple7
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple8
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple9
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple11
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((triple13) -> (rule4 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((((((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int3