The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle needs the bear. The bald eagle needs the cow. The bald eagle sees the bear. The bald eagle visits the bear. The bear is not kind. The bear is not nice. The bear does not need the cow. The bear sees the bald eagle. The bear sees the cow. The bear visits the bald eagle. The bear visits the cow. The cow is blue. All big people are blue. If the bear sees the bald eagle then the bear needs the bald eagle. If the bear needs the bald eagle and the bear is not kind then the bald eagle is nice. If the bald eagle is nice and the bald eagle sees the bear then the bald eagle visits the cow. If the bear visits the cow and the bear does not see the bald eagle then the cow is nice. If someone is nice and they do not visit the cow then they need the bear. If someone is nice and not big then they do not need the bear. If someone is round and they do not need the bear then they do not visit the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is not nice.
("bear" "is" "nice" "-")
The bear does not need the cow.
("bear" "needs" "cow" "-")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
All big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If the bear sees the bald eagle then the bear needs the bald eagle.
((("bear" "sees" "bald eagle" "+")) -> ("bear" "needs" "bald eagle" "+"))
If the bear needs the bald eagle and the bear is not kind then the bald eagle is nice.
((("bear" "needs" "bald eagle" "+") ("bear" "is" "kind" "~")) -> ("bald eagle" "is" "nice" "+"))
If the bald eagle is nice and the bald eagle sees the bear then the bald eagle visits the cow.
((("bald eagle" "is" "nice" "+") ("bald eagle" "sees" "bear" "+")) -> ("bald eagle" "visits" "cow" "+"))
If the bear visits the cow and the bear does not see the bald eagle then the cow is nice.
((("bear" "visits" "cow" "+") ("bear" "sees" "bald eagle" "~")) -> ("cow" "is" "nice" "+"))
If someone is nice and they do not visit the cow then they need the bear.
((("someone" "is" "nice" "+") ("someone" "visits" "cow" "~")) -> ("someone" "needs" "bear" "+"))
If someone is nice and not big then they do not need the bear.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "needs" "bear" "-"))
If someone is round and they do not need the bear then they do not visit the bear.
((("someone" "is" "round" "+") ("someone" "needs" "bear" "~")) -> ("someone" "visits" "bear" "-"))
The bear visits the cow.
True
1
proof
[(triple14)]
("bear" "visits" "cow" "+")
triple14
The bald eagle does not need the cow.
False
1
inv-proof
[(triple5)]
("bald eagle" "needs" "cow" "-")
triple5
The bear needs the bald eagle.
True
2
proof
[(((triple11) -> rule2))]
("bear" "needs" "bald eagle" "+")
((triple11) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear does not need the bald eagle.
False
2
inv-proof
[(((triple11) -> rule2))]
("bear" "needs" "bald eagle" "-")
((triple11) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
True
4
proof
[(((((triple11) -> rule2) triple8) -> rule3))]
("bald eagle" "is" "nice" "+")
((((triple11) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bald eagle is not nice.
False
4
inv-proof
[(((((triple11) -> rule2) triple8) -> rule3))]
("bald eagle" "is" "nice" "-")
((((triple11) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bald eagle visits the cow.
True
6
proof
[(((((((triple11) -> rule2) triple8) -> rule3) triple6) -> rule4))]
("bald eagle" "visits" "cow" "+")
((((((triple11) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple6) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The bald eagle does not visit the cow.
False
6
inv-proof
[(((((((triple11) -> rule2) triple8) -> rule3) triple6) -> rule4))]
("bald eagle" "visits" "cow" "-")
((((((triple11) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple6) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3
The cow does not need the bear.
Unknown
inv-rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "bear" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "+")
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "nice" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "needs" "bear" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple1) -> rule1))] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle sees the bear.[(triple6)] The bald eagle visits the bear.[(triple7)] The bear does not need the cow.[(triple10)] The bear is not kind.[(triple8)] The bear is not nice.[(triple9)] The bear sees the bald eagle.[(triple11)] The bear sees the cow.[(triple12)] The bear visits the bald eagle.[(triple13)] The bear visits the cow.[(triple14)] The cow is blue.[(triple15)] @1: The bear needs the bald eagle.[(((triple11) -> rule2))] @2: The bald eagle is nice.[(((((triple11) -> rule2) triple8) -> rule3))] @3: The bald eagle visits the cow.[(((((((triple11) -> rule2) triple8) -> rule3) triple6) -> rule4))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
((triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple6
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple7
The bear does not need the cow.
("bear" "needs" "cow" "-")
triple10
The bear is not kind.
("bear" "is" "kind" "-")
triple8
The bear is not nice.
("bear" "is" "nice" "-")
triple9
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple11
The bear sees the cow.
("bear" "sees" "cow" "+")
triple12
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple13
The bear visits the cow.
("bear" "visits" "cow" "+")
triple14
The cow is blue.
("cow" "is" "blue" "+")
triple15
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple11) -> (rule2 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple11) -> (rule2 % int2)) triple8) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((((triple11) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple6) -> (rule4 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int3