The bald eagle does not see the dog. The cow sees the bald eagle. The cow sees the dog. The dog is cold. The dog is nice. The dog is red. The dog does not visit the bald eagle. The squirrel eats the dog. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel sees the dog. The squirrel visits the bald eagle. The squirrel visits the cow. The squirrel visits the dog. If someone is rough and not cold then they see the squirrel. If the cow sees the bald eagle then the bald eagle is rough. If someone is red and they eat the squirrel then they do not visit the dog. If someone sees the bald eagle and they are cold then they eat the squirrel. If the squirrel visits the cow then the squirrel visits the dog. If someone eats the cow then the cow is rough. If the bald eagle is nice then the bald eagle sees the squirrel. If the cow eats the bald eagle and the cow is not rough then the cow does not see the squirrel.
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is rough and not cold then they see the squirrel.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "~")) -> ("someone" "sees" "squirrel" "+"))
If the cow sees the bald eagle then the bald eagle is rough.
((("cow" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone is red and they eat the squirrel then they do not visit the dog.
((("someone" "is" "red" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "dog" "-"))
If someone sees the bald eagle and they are cold then they eat the squirrel.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "cold" "+")) -> ("someone" "eats" "squirrel" "+"))
If the squirrel visits the cow then the squirrel visits the dog.
((("squirrel" "visits" "cow" "+")) -> ("squirrel" "visits" "dog" "+"))
If someone eats the cow then the cow is rough.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "rough" "+"))
If the bald eagle is nice then the bald eagle sees the squirrel.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If the cow eats the bald eagle and the cow is not rough then the cow does not see the squirrel.
((("cow" "eats" "bald eagle" "+") ("cow" "is" "rough" "~")) -> ("cow" "sees" "squirrel" "-"))
The dog is nice.
True
1
proof
[(triple5)]
("dog" "is" "nice" "+")
triple5
The cow does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "sees" "bald eagle" "-")
triple2
The bald eagle is rough.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple2) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The bald eagle eats the squirrel.
Unknown
rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The dog does not eat the cow.
Unknown
inv-random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle does not see the dog.[(triple1)] The cow sees the bald eagle.[(triple2)] The cow sees the dog.[(triple3)] The dog does not visit the bald eagle.[(triple7)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog is red.[(triple6)] The squirrel eats the dog.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is round.[(triple11)] The squirrel sees the dog.[(triple12)] The squirrel visits the bald eagle.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the dog.[(triple15 OR ((triple14) -> rule5))] @1: The bald eagle is rough.[(((triple2) -> rule2))]
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple2
The cow sees the dog.
("cow" "sees" "dog" "+")
triple3
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple13
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
((triple14) -> (rule5 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1