The bald eagle is kind. The bald eagle needs the bear. The bald eagle does not see the bear. The bald eagle sees the dog. The bald eagle visits the dog. The bear is red. The bear needs the dog. The bear visits the bald eagle. The dog is nice. The dog visits the bald eagle. If the dog visits the bald eagle and the bald eagle is nice then the bald eagle needs the dog. All nice things are not kind. If something sees the bear and the bear needs the dog then the dog needs the bear. If something visits the bear then the bear does not visit the bald eagle. If something is round and green then it does not see the bear. If something is red then it sees the bear. If something sees the bear and it is nice then it does not need the bald eagle. If something is green then it needs the dog.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If the dog visits the bald eagle and the bald eagle is nice then the bald eagle needs the dog.
((("dog" "visits" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "needs" "dog" "+"))
All nice things are not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If something sees the bear and the bear needs the dog then the dog needs the bear.
((("something" "sees" "bear" "+") ("bear" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If something visits the bear then the bear does not visit the bald eagle.
((("something" "visits" "bear" "+")) -> ("bear" "visits" "bald eagle" "-"))
If something is round and green then it does not see the bear.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "sees" "bear" "-"))
If something is red then it sees the bear.
((("something" "is" "red" "+")) -> ("something" "sees" "bear" "+"))
If something sees the bear and it is nice then it does not need the bald eagle.
((("something" "sees" "bear" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "bald eagle" "-"))
If something is green then it needs the dog.
((("something" "is" "green" "+")) -> ("something" "needs" "dog" "+"))
The dog is nice.
True
1
proof
[(triple9)]
("dog" "is" "nice" "+")
triple9
The dog is not nice.
False
1
inv-proof
[(triple9)]
("dog" "is" "nice" "-")
triple9
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle does not see the bear.[(triple3)] The bald eagle is kind.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle sees the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The bear is red.[(triple6)] The bear needs the dog.[(triple7)] The bear visits the bald eagle.[(triple8)] The dog is nice.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bear sees the bear.[(((triple6) -> rule6))] The dog is not kind.[(((triple9) -> rule2))] @2: The dog needs the bear.[(((((triple6) -> rule6) triple7) -> rule3))]
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear needs the dog.
("bear" "needs" "dog" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple10
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple6) -> (rule6 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The dog is not kind.
("dog" "is" "kind" "-")
((triple9) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((((triple6) -> (rule6 % int2)) triple7) -> (rule3 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2