The bald eagle chases the dog. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The dog chases the rabbit. The dog is cold. The dog is round. The rabbit visits the dog. If someone is red and young then they eat the bald eagle. If someone visits the bald eagle then they chase the rabbit.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone is red and young then they eat the bald eagle.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone visits the bald eagle then they chase the rabbit.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple1)]
("bald eagle" "chases" "dog" "+")
triple1
The dog is not round.
False
1
inv-proof
[(triple6)]
("dog" "is" "round" "-")
triple6
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The dog chases the rabbit.[(triple4)] The dog is cold.[(triple5)] The dog is round.[(triple6)] The rabbit visits the dog.[(triple7)]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple7