The bald eagle eats the dog. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle likes the dog. The bald eagle needs the dog. The bear eats the bald eagle. The bear likes the bald eagle. The bear likes the dog. The bear needs the bald eagle. The bear needs the dog. The dog eats the bear. The dog is cold. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the bear. If something likes the dog then it eats the dog. If something eats the bear and it likes the dog then the dog is kind. If something likes the bald eagle then it eats the bear. If something likes the bald eagle and it is nice then the bald eagle is blue. If something is kind and it needs the bear then the bear is kind. Red things are cold.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something likes the dog then it eats the dog.
((("something" "likes" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something eats the bear and it likes the dog then the dog is kind.
((("something" "eats" "bear" "+") ("something" "likes" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something likes the bald eagle then it eats the bear.
((("something" "likes" "bald eagle" "+")) -> ("something" "eats" "bear" "+"))
If something likes the bald eagle and it is nice then the bald eagle is blue.
((("something" "likes" "bald eagle" "+") ("something" "is" "nice" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is kind and it needs the bear then the bear is kind.
((("something" "is" "kind" "+") ("something" "needs" "bear" "+")) -> ("bear" "is" "kind" "+"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
The bear likes the dog.
True
1
proof
[(triple9)]
("bear" "likes" "dog" "+")
triple9
The dog does not like the bald eagle.
False
1
inv-proof
[(triple14)]
("dog" "likes" "bald eagle" "-")
triple14
The bear eats the bear.
True
2
proof
[(((triple8) -> rule3))]
("bear" "eats" "bear" "+")
((triple8) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the dog.
False
2
inv-proof
[(((triple9) -> rule1))]
("bear" "eats" "dog" "-")
((triple9) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog is kind.
True
4
proof
[(((((triple8) -> rule3) triple9) -> rule2))]
("dog" "is" "kind" "+")
((((triple8) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The dog is not kind.
False
4
inv-proof
[(((((triple8) -> rule3) triple9) -> rule2))]
("dog" "is" "kind" "-")
((((triple8) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
True
6
proof
[(((((((triple8) -> rule3) triple9) -> rule2) triple16) -> rule5))]
("bear" "is" "kind" "+")
((((((triple8) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple16) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is not kind.
False
6
inv-proof
[(((((((triple8) -> rule3) triple9) -> rule2) triple16) -> rule5))]
("bear" "is" "kind" "-")
((((((triple8) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple16) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "cold" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not eat the bear.
Unknown
inv-rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "bear" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((triple5) -> rule1))] The bald eagle is cold.[(triple2 OR ((triple4) -> rule6))] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle needs the dog.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear likes the bald eagle.[(triple8)] The bear likes the dog.[(triple9)] The bear needs the bald eagle.[(triple10)] The bear needs the dog.[(triple11)] The dog eats the bear.[(triple12 OR ((triple14) -> rule3))] The dog is cold.[(triple13)] The dog likes the bald eagle.[(triple14)] The dog needs the bald eagle.[(triple15)] The dog needs the bear.[(triple16)] @1: The bear eats the bear.[(((triple8) -> rule3))] The bear eats the dog.[(((triple9) -> rule1))] @2: The dog is kind.[(((((triple8) -> rule3) triple9) -> rule2))] @3: The bear is kind.[(((((((triple8) -> rule3) triple9) -> rule2) triple16) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((triple5) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
((triple4) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple5
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple7
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple8
The bear likes the dog.
("bear" "likes" "dog" "+")
triple9
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple10
The bear needs the dog.
("bear" "needs" "dog" "+")
triple11
The dog eats the bear.
("dog" "eats" "bear" "+")
triple12
((triple14) -> (rule3 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
triple13
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple14
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple15
The dog needs the bear.
("dog" "needs" "bear" "+")
triple16
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8) -> (rule3 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple9) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((((triple8) -> (rule3 % int2)) triple9) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((((triple8) -> (rule3 % int3)) triple9) -> (rule2 % int2)) triple16) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3