The bald eagle eats the dog. The bald eagle likes the dog. The bald eagle needs the dog. The dog eats the bald eagle. The dog is cold. The dog is green. The dog is round. The dog is young. The dog likes the bald eagle. The dog needs the bald eagle. If something is young then it likes the bald eagle. If something needs the dog and the dog eats the bald eagle then the bald eagle is rough. If the dog likes the bald eagle then the bald eagle eats the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "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 round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If something is young then it likes the bald eagle.
((("something" "is" "young" "+")) -> ("something" "likes" "bald eagle" "+"))
If something needs the dog and the dog eats the bald eagle then the bald eagle is rough.
((("something" "needs" "dog" "+") ("dog" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the dog likes the bald eagle then the bald eagle eats the dog.
((("dog" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
The dog is green.
True
1
proof
[(triple6)]
("dog" "is" "green" "+")
triple6
The bald eagle does not need the dog.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "dog" "-")
triple3
The bald eagle is rough.
True
3
proof
[(((triple3 triple4) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple3 triple4) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple3 triple4) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((triple9) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] The bald eagle likes the dog.[(triple2)] The bald eagle needs the dog.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog is cold.[(triple5)] The dog is green.[(triple6)] The dog is round.[(triple7)] The dog is young.[(triple8)] The dog likes the bald eagle.[(triple9 OR ((triple8) -> rule1))] The dog needs the bald eagle.[(triple10)] @1: The bald eagle is rough.[(((triple3 triple4) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((triple9) -> (rule3 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is round.
("dog" "is" "round" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
((triple8) -> (rule1 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple3 triple4) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1