The bald eagle eats the dog. The bald eagle is cold. The bald eagle likes the bear. The bear chases the rabbit. The bear eats the dog. The bear is not rough. The bear does not like the bald eagle. The dog chases the bald eagle. The dog is nice. The rabbit is rough. If something likes the bear then the bear chases the rabbit. If something likes the bear then it is kind. If something is red then it does not chase the rabbit.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If something likes the bear then the bear chases the rabbit.
((("something" "likes" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If something likes the bear then it is kind.
((("something" "likes" "bear" "+")) -> ("something" "is" "kind" "+"))
If something is red then it does not chase the rabbit.
((("something" "is" "red" "+")) -> ("something" "chases" "rabbit" "-"))
The bald eagle likes the bear.
True
1
proof
[(triple3)]
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle is not cold.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "cold" "-")
triple2
The bald eagle is kind.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "is" "kind" "-")
((triple3) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "kind" "-")
The rabbit is kind.
Unknown
rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "kind" "+")
The dog does not chase the rabbit.
Unknown
inv-random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear chases the rabbit.[(triple4 OR ((triple3) -> rule1))] The bear does not like the bald eagle.[(triple7)] The bear eats the dog.[(triple5)] The bear is not rough.[(triple6)] The dog chases the bald eagle.[(triple8)] The dog is nice.[(triple9)] The rabbit is rough.[(triple10)] @1: The bald eagle is kind.[(((triple3) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple4
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple7
The bear eats the dog.
("bear" "eats" "dog" "+")
triple5
The bear is not rough.
("bear" "is" "rough" "-")
triple6
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple3) -> (rule2 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1