The bald eagle eats the dog. The bald eagle is blue. The bald eagle is rough. The bald eagle needs the dog. The cow eats the dog. The cow is big. The cow is kind. The cow is red. The dog eats the bald eagle. The dog eats the cow. If someone eats the dog and they eat the cow then the dog visits the bald eagle. If someone is kind and they eat the cow then the cow is rough. If someone eats the dog then the dog visits the bald eagle. If someone eats the cow then they visit the cow. If the bald eagle eats the cow and the bald eagle is rough then the bald eagle is kind. If someone needs the dog then the dog is kind.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
If someone eats the dog and they eat the cow then the dog visits the bald eagle.
((("someone" "eats" "dog" "+") ("someone" "eats" "cow" "+")) -> ("dog" "visits" "bald eagle" "+"))
If someone is kind and they eat the cow then the cow is rough.
((("someone" "is" "kind" "+") ("someone" "eats" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone eats the dog then the dog visits the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
If someone eats the cow then they visit the cow.
((("someone" "eats" "cow" "+")) -> ("someone" "visits" "cow" "+"))
If the bald eagle eats the cow and the bald eagle is rough then the bald eagle is kind.
((("bald eagle" "eats" "cow" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone needs the dog then the dog is kind.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "kind" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple4)]
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The dog is kind.
True
2
proof
[(((triple4) -> rule6))]
("dog" "is" "kind" "+")
((triple4) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not visit the cow.
False
2
inv-proof
[(((triple10) -> rule4))]
("dog" "visits" "cow" "-")
((triple10) -> (rule4 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the dog.[(triple4)] The cow eats the dog.[(triple5)] The cow is big.[(triple6)] The cow is kind.[(triple7)] The cow is red.[(triple8)] The dog eats the bald eagle.[(triple9)] The dog eats the cow.[(triple10)] @1: The dog is kind.[(((triple4) -> rule6))] The dog visits the bald eagle.[(((triple1) -> rule3) OR ((triple5) -> rule3))] The dog visits the cow.[(((triple10) -> rule4))] @2: The cow is rough.[(((((triple4) -> rule6) triple10) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The cow eats the dog.
("cow" "eats" "dog" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple9
The dog eats the cow.
("dog" "eats" "cow" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
((triple4) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((triple5) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the cow.
("dog" "visits" "cow" "+")
((triple10) -> (rule4 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((((triple4) -> (rule6 % int2)) triple10) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2