The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is red. The dog chases the bald eagle. The dog does not chase the lion. The dog eats the lion. The dog is cold. The dog sees the lion. The lion chases the bald eagle. The lion does not eat the bald eagle. The lion is cold. The lion is green. The lion is red. The lion is round. The lion sees the bald eagle. The lion sees the dog. If something is cold and it chases the bald eagle then the bald eagle eats the lion. If something eats the bald eagle and it chases the lion then it sees the lion. If something is round and it chases the bald eagle then the bald eagle sees the lion. If the dog chases the bald eagle and the dog does not chase the lion then the bald eagle chases the lion. If something is kind and it does not eat the bald eagle then the bald eagle is not round. If something chases the lion and the lion eats the bald eagle then it chases the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If something is cold and it chases the bald eagle then the bald eagle eats the lion.
((("something" "is" "cold" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If something eats the bald eagle and it chases the lion then it sees the lion.
((("something" "eats" "bald eagle" "+") ("something" "chases" "lion" "+")) -> ("something" "sees" "lion" "+"))
If something is round and it chases the bald eagle then the bald eagle sees the lion.
((("something" "is" "round" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If the dog chases the bald eagle and the dog does not chase the lion then the bald eagle chases the lion.
((("dog" "chases" "bald eagle" "+") ("dog" "chases" "lion" "~")) -> ("bald eagle" "chases" "lion" "+"))
If something is kind and it does not eat the bald eagle then the bald eagle is not round.
((("something" "is" "kind" "+") ("something" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "round" "-"))
If something chases the lion and the lion eats the bald eagle then it chases the bald eagle.
((("something" "chases" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple4)]
("dog" "chases" "bald eagle" "+")
triple4
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "dog" "-")
triple2
The bald eagle chases the lion.
True
3
proof
[(((triple4 triple5) -> rule4))]
("bald eagle" "chases" "lion" "+")
((triple4 triple5) -> (rule4 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle does not see the lion.
False
3
inv-proof
[(((triple14 triple9) -> rule3))]
("bald eagle" "sees" "lion" "-")
((triple14 triple9) -> (rule3 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "lion" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is red.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog does not chase the lion.[(triple5)] The dog eats the lion.[(triple6)] The dog is cold.[(triple7)] The dog sees the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion does not eat the bald eagle.[(triple10)] The lion is cold.[(triple11)] The lion is green.[(triple12)] The lion is red.[(triple13)] The lion is round.[(triple14)] The lion sees the bald eagle.[(triple15)] The lion sees the dog.[(triple16)] @1: The bald eagle chases the lion.[(((triple4 triple5) -> rule4))] The bald eagle eats the lion.[(((triple11 triple9) -> rule1) OR ((triple7 triple4) -> rule1))] The bald eagle sees the lion.[(((triple14 triple9) -> rule3))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog sees the lion.
("dog" "sees" "lion" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
triple13
The lion is round.
("lion" "is" "round" "+")
triple14
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple15
The lion sees the dog.
("lion" "sees" "dog" "+")
triple16
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple4 triple5) -> (rule4 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple11 triple9) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((triple7 triple4) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple14 triple9) -> (rule3 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1