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