The bald eagle chases the rabbit. The bald eagle is young. The dog eats the rabbit. The dog is young. The dog needs the rabbit. The dog does not need the tiger. The rabbit is green. The tiger chases the dog. The tiger does not eat the dog. The tiger needs the dog. If the bald eagle chases the dog then the bald eagle needs the tiger. If the tiger is round then the tiger does not eat the bald eagle. If someone eats the bald eagle then the bald eagle is not round. If someone is nice and they eat the dog then they eat the rabbit. If someone eats the rabbit and the rabbit is round then they do not eat the bald eagle. If someone eats the rabbit and they do not need the tiger then the rabbit eats the dog. If someone is round and young then they chase the bald eagle. If someone eats the dog then they chase the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If the bald eagle chases the dog then the bald eagle needs the tiger.
((("bald eagle" "chases" "dog" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If the tiger is round then the tiger does not eat the bald eagle.
((("tiger" "is" "round" "+")) -> ("tiger" "eats" "bald eagle" "-"))
If someone eats the bald eagle then the bald eagle is not round.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "round" "-"))
If someone is nice and they eat the dog then they eat the rabbit.
((("someone" "is" "nice" "+") ("someone" "eats" "dog" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit and the rabbit is round then they do not eat the bald eagle.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone eats the rabbit and they do not need the tiger then the rabbit eats the dog.
((("someone" "eats" "rabbit" "+") ("someone" "needs" "tiger" "~")) -> ("rabbit" "eats" "dog" "+"))
If someone is round and young then they chase the bald eagle.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone eats the dog then they chase the bald eagle.
((("someone" "eats" "dog" "+")) -> ("someone" "chases" "bald eagle" "+"))
The tiger chases the dog.
True
1
proof
[(triple8)]
("tiger" "chases" "dog" "+")
triple8
The dog does not need the rabbit.
False
1
inv-proof
[(triple5)]
("dog" "needs" "rabbit" "-")
triple5
The rabbit eats the dog.
True
3
proof
[(((triple3 triple6) -> rule6))]
("rabbit" "eats" "dog" "+")
((triple3 triple6) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not eat the dog.
False
3
inv-proof
[(((triple3 triple6) -> rule6))]
("rabbit" "eats" "dog" "-")
((triple3 triple6) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit chases the bald eagle.
True
4
proof
[(((((triple3 triple6) -> rule6)) -> rule8))]
("rabbit" "chases" "bald eagle" "+")
((((triple3 triple6) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The rabbit does not chase the bald eagle.
False
4
inv-proof
[(((((triple3 triple6) -> rule6)) -> rule8))]
("rabbit" "chases" "bald eagle" "-")
((((triple3 triple6) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is young.[(triple2)] The dog does not need the tiger.[(triple6)] The dog eats the rabbit.[(triple3)] The dog is young.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit is green.[(triple7)] The tiger chases the dog.[(triple8)] The tiger does not eat the dog.[(triple9)] The tiger needs the dog.[(triple10)] @1: The rabbit eats the dog.[(((triple3 triple6) -> rule6))] @2: The rabbit chases the bald eagle.[(((((triple3 triple6) -> rule6)) -> rule8))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple6
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple8
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
triple9
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple10
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((triple3 triple6) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((((triple3 triple6) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2