The bald eagle visits the lion. The cat is not nice. The cat needs the bald eagle. The cat needs the dog. The dog is cold. The lion chases the dog. The lion is kind. If someone chases the dog then they visit the cat. If someone visits the cat and they need the dog then the cat chases the bald eagle. If someone is cold and they do not visit the lion then they chase the bald eagle.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is kind.
("lion" "is" "kind" "+")
If someone chases the dog then they visit the cat.
((("someone" "chases" "dog" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the cat and they need the dog then the cat chases the bald eagle.
((("someone" "visits" "cat" "+") ("someone" "needs" "dog" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone is cold and they do not visit the lion then they chase the bald eagle.
((("someone" "is" "cold" "+") ("someone" "visits" "lion" "~")) -> ("someone" "chases" "bald eagle" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple3)]
("cat" "needs" "bald eagle" "+")
triple3
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "lion" "-")
triple1
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@2: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bald eagle visits the lion.[(triple1)] The cat is not nice.[(triple2)] The cat needs the bald eagle.[(triple3)] The cat needs the dog.[(triple4)] The dog is cold.[(triple5)] The lion chases the dog.[(triple6)] The lion is kind.[(triple7)] @1: The lion visits the cat.[(((triple6) -> rule1))]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The cat is not nice.
("cat" "is" "nice" "-")
triple2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion visits the cat.
("lion" "visits" "cat" "+")
((triple6) -> (rule1 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1