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