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