The bald eagle eats the dog. The bald eagle sees the bear. The bald eagle sees the dog. The bear does not visit the dog. The dog is not kind. The dog is nice. The dog sees the bear. If something sees the bear then the bear does not visit the dog. If something eats the bear and it eats the dog then the bear does not see the dog. If something sees the bear then it visits the dog. If something visits the bear and it eats the dog then it is not blue. If something visits the bear then it is big. If something sees the dog and the dog visits the bald eagle then the bald eagle is red. If something eats the dog then it is not red. If something is big and it does not visit the dog then it is not nice.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If something sees the bear then the bear does not visit the dog.
((("something" "sees" "bear" "+")) -> ("bear" "visits" "dog" "-"))
If something eats the bear and it eats the dog then the bear does not see the dog.
((("something" "eats" "bear" "+") ("something" "eats" "dog" "+")) -> ("bear" "sees" "dog" "-"))
If something sees the bear then it visits the dog.
((("something" "sees" "bear" "+")) -> ("something" "visits" "dog" "+"))
If something visits the bear and it eats the dog then it is not blue.
((("something" "visits" "bear" "+") ("something" "eats" "dog" "+")) -> ("something" "is" "blue" "-"))
If something visits the bear then it is big.
((("something" "visits" "bear" "+")) -> ("something" "is" "big" "+"))
If something sees the dog and the dog visits the bald eagle then the bald eagle is red.
((("something" "sees" "dog" "+") ("dog" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something eats the dog then it is not red.
((("something" "eats" "dog" "+")) -> ("something" "is" "red" "-"))
If something is big and it does not visit the dog then it is not nice.
((("something" "is" "big" "+") ("something" "visits" "dog" "~")) -> ("something" "is" "nice" "-"))
The bald eagle sees the bear.
True
1
proof
[(triple2)]
("bald eagle" "sees" "bear" "+")
triple2
The dog is not nice.
False
1
inv-proof
[(triple6)]
("dog" "is" "nice" "-")
triple6
The bald eagle is not red.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "is" "red" "-")
((triple1) -> (rule7 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The bald eagle is red.
False
2
inv-proof
[(((triple1) -> rule7))]
("bald eagle" "is" "red" "+")
((triple1) -> (rule7 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "big" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog visits the bear.
Unknown
random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the dog.[(triple3)] The bear does not visit the dog.[(triple4 OR ((triple2) -> rule1) OR ((triple7) -> rule1))] The dog is nice.[(triple6)] The dog is not kind.[(triple5)] The dog sees the bear.[(triple7)] @1: The bald eagle is not red.[(((triple1) -> rule7))] The bald eagle visits the dog.[(((triple2) -> rule3))] The dog visits the dog.[(((triple7) -> rule3))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple4
((triple2) -> (rule1 % int1))
The bear does not visit the dog.
("bear" "visits" "dog" "-")
int1
((triple7) -> (rule1 % int1))
The bear does not visit the dog.
("bear" "visits" "dog" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog is not kind.
("dog" "is" "kind" "-")
triple5
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The bald eagle is not red.
("bald eagle" "is" "red" "-")
((triple1) -> (rule7 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((triple2) -> (rule3 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple7) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1