The bald eagle is cold. The bald eagle sees the dog. The bear eats the bald eagle. The bear is cold. The bear is green. The bear is nice. The bear is red. The bear sees the bald eagle. The bear sees the dog. The dog chases the bald eagle. The dog chases the bear. The dog eats the bear. The dog is cold. The dog is green. The dog is round. The dog does not see the bald eagle. If the dog is red then the dog is not green. If the dog is not cold and the dog does not eat the bald eagle then the bald eagle is not red. If someone sees the dog then the dog is nice.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
If the dog is red then the dog is not green.
((("dog" "is" "red" "+")) -> ("dog" "is" "green" "-"))
If the dog is not cold and the dog does not eat the bald eagle then the bald eagle is not red.
((("dog" "is" "cold" "~") ("dog" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "red" "-"))
If someone sees the dog then the dog is nice.
((("someone" "sees" "dog" "+")) -> ("dog" "is" "nice" "+"))
The dog chases the bear.
True
1
proof
[(triple11)]
("dog" "chases" "bear" "+")
triple11
The dog is not green.
False
1
inv-proof
[(triple14)]
("dog" "is" "green" "-")
triple14
The dog is nice.
True
2
proof
[(((triple2) -> rule3) OR ((triple9) -> rule3))]
("dog" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple9) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple9) -> rule3))]
("dog" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple9) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle does not eat the bear.
Unknown
inv-random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The dog sees the bear.
Unknown
random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the dog.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear sees the dog.[(triple9)] The dog chases the bald eagle.[(triple10)] The dog chases the bear.[(triple11)] The dog does not see the bald eagle.[(triple16)] The dog eats the bear.[(triple12)] The dog is cold.[(triple13)] The dog is green.[(triple14)] The dog is round.[(triple15)] @1: The dog is nice.[(((triple2) -> rule3) OR ((triple9) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The bear sees the dog.
("bear" "sees" "dog" "+")
triple9
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple10
The dog chases the bear.
("dog" "chases" "bear" "+")
triple11
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
triple16
The dog eats the bear.
("dog" "eats" "bear" "+")
triple12
The dog is cold.
("dog" "is" "cold" "+")
triple13
The dog is green.
("dog" "is" "green" "+")
triple14
The dog is round.
("dog" "is" "round" "+")
triple15
The dog is nice.
("dog" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple9) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1