The bald eagle eats the dog. The dog is young. The lion is kind. If the dog eats the lion then the lion needs the dog. If something likes the lion then the lion likes the dog. If something is blue and cold then it needs the dog. If something eats the dog then it is kind. If something needs the bald eagle then the bald eagle likes the dog. If something likes the lion then it is kind. If something needs the bald eagle and the bald eagle eats the dog then it is kind. If something is young then it needs the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog is young.
("dog" "is" "young" "+")
The lion is kind.
("lion" "is" "kind" "+")
If the dog eats the lion then the lion needs the dog.
((("dog" "eats" "lion" "+")) -> ("lion" "needs" "dog" "+"))
If something likes the lion then the lion likes the dog.
((("something" "likes" "lion" "+")) -> ("lion" "likes" "dog" "+"))
If something is blue and cold then it needs the dog.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "dog" "+"))
If something eats the dog then it is kind.
((("something" "eats" "dog" "+")) -> ("something" "is" "kind" "+"))
If something needs the bald eagle then the bald eagle likes the dog.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If something likes the lion then it is kind.
((("something" "likes" "lion" "+")) -> ("something" "is" "kind" "+"))
If something needs the bald eagle and the bald eagle eats the dog then it is kind.
((("something" "needs" "bald eagle" "+") ("bald eagle" "eats" "dog" "+")) -> ("something" "is" "kind" "+"))
If something is young then it needs the bald eagle.
((("something" "is" "young" "+")) -> ("something" "needs" "bald eagle" "+"))
The dog is young.
True
1
proof
[(triple2)]
("dog" "is" "young" "+")
triple2
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The dog needs the bald eagle.
True
2
proof
[(((triple2) -> rule8))]
("dog" "needs" "bald eagle" "+")
((triple2) -> (rule8 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "kind" "-")
((triple1) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The dog is kind.
True
4
proof
[(((((triple2) -> rule8) triple1) -> rule7))]
("dog" "is" "kind" "+")
((((triple2) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The bald eagle does not like the dog.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule5))]
("bald eagle" "likes" "dog" "-")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The lion does not need the dog.
Unknown
inv-rconc
[@1: The lion needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "dog" "-")
The lion likes the dog.
Unknown
rconc
[@1: The lion likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "dog" "+")
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "needs" "dog" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
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 dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
@0: The bald eagle eats the dog.[(triple1)] The dog is young.[(triple2)] The lion is kind.[(triple3)] @1: The bald eagle is kind.[(((triple1) -> rule4))] The dog needs the bald eagle.[(((triple2) -> rule8))] @2: The bald eagle likes the dog.[(((((triple2) -> rule8)) -> rule5))] The dog is kind.[(((((triple2) -> rule8) triple1) -> rule7))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((triple2) -> (rule8 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((((triple2) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2