The bald eagle sees the rabbit. The cat chases the dog. The dog sees the cat. The rabbit eats the bald eagle. If someone is round then they chase the dog. If someone chases the cat then they see the cat. If someone chases the rabbit then they eat the dog. If someone sees the rabbit then they are round. If the cat sees the bald eagle and the cat is rough then the cat sees the dog. Nice people are rough. If someone eats the rabbit then they see the dog. If the cat sees the rabbit then the cat chases the dog.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If someone is round then they chase the dog.
((("someone" "is" "round" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the cat then they see the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "sees" "cat" "+"))
If someone chases the rabbit then they eat the dog.
((("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "dog" "+"))
If someone sees the rabbit then they are round.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If the cat sees the bald eagle and the cat is rough then the cat sees the dog.
((("cat" "sees" "bald eagle" "+") ("cat" "is" "rough" "+")) -> ("cat" "sees" "dog" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the rabbit then they see the dog.
((("someone" "eats" "rabbit" "+")) -> ("someone" "sees" "dog" "+"))
If the cat sees the rabbit then the cat chases the dog.
((("cat" "sees" "rabbit" "+")) -> ("cat" "chases" "dog" "+"))
The cat chases the dog.
True
1
proof
[(triple2)]
("cat" "chases" "dog" "+")
triple2
The dog does not see the cat.
False
1
inv-proof
[(triple3)]
("dog" "sees" "cat" "-")
triple3
The bald eagle is round.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "is" "round" "+")
((triple1) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "round" "-")
((triple1) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "cat" "-")
The bald eagle sees the cat.
Unknown
rconc
[@1: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "cat" "+")
The dog does not eat the bald eagle.
Unknown
inv-random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The cat chases the dog.[(triple2)] The dog sees the cat.[(triple3)] The rabbit eats the bald eagle.[(triple4)] @1: The bald eagle is round.[(((triple1) -> rule4))] @2: The bald eagle chases the dog.[(((((triple1) -> rule4)) -> rule1))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The cat chases the dog.
("cat" "chases" "dog" "+")
triple2
The dog sees the cat.
("dog" "sees" "cat" "+")
triple3
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2