The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle does not eat the cat. The bald eagle is big. The cat chases the bald eagle. The rabbit does not chase the bald eagle. The rabbit is not big. The rabbit is kind. The rabbit is round. The rabbit does not visit the tiger. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is kind. The tiger is nice. The tiger is young. The tiger visits the rabbit. If someone chases the bald eagle then they eat the bald eagle. If someone is big and they chase the bald eagle then the bald eagle eats the tiger. If the tiger visits the cat and the cat chases the rabbit then the cat does not eat the bald eagle. If the bald eagle is young and the bald eagle does not visit the tiger then the tiger chases the rabbit. If someone chases the bald eagle and they eat the cat then the bald eagle is not young. If the cat is round and the cat chases the tiger then the cat is not nice. If someone eats the bald eagle then they do not chase the cat. If someone eats the cat and they eat the bald eagle then the bald eagle does not eat the cat.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not visit the tiger.
("rabbit" "visits" "tiger" "-")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone chases the bald eagle then they eat the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is big and they chase the bald eagle then the bald eagle eats the tiger.
((("someone" "is" "big" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If the tiger visits the cat and the cat chases the rabbit then the cat does not eat the bald eagle.
((("tiger" "visits" "cat" "+") ("cat" "chases" "rabbit" "+")) -> ("cat" "eats" "bald eagle" "-"))
If the bald eagle is young and the bald eagle does not visit the tiger then the tiger chases the rabbit.
((("bald eagle" "is" "young" "+") ("bald eagle" "visits" "tiger" "~")) -> ("tiger" "chases" "rabbit" "+"))
If someone chases the bald eagle and they eat the cat then the bald eagle is not young.
((("someone" "chases" "bald eagle" "+") ("someone" "eats" "cat" "+")) -> ("bald eagle" "is" "young" "-"))
If the cat is round and the cat chases the tiger then the cat is not nice.
((("cat" "is" "round" "+") ("cat" "chases" "tiger" "+")) -> ("cat" "is" "nice" "-"))
If someone eats the bald eagle then they do not chase the cat.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "chases" "cat" "-"))
If someone eats the cat and they eat the bald eagle then the bald eagle does not eat the cat.
((("someone" "eats" "cat" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "-"))
The bald eagle chases the tiger.
True
1
proof
[(triple2)]
("bald eagle" "chases" "tiger" "+")
triple2
The tiger does not chase the rabbit.
False
1
inv-proof
[(triple11)]
("tiger" "chases" "rabbit" "-")
triple11
The cat eats the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("cat" "eats" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat does not eat the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "eats" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "tiger" "-")
The rabbit eats the bald eagle.
Unknown
rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The cat does not chase the tiger.
Unknown
inv-random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not eat the cat.[(triple3)] The bald eagle is big.[(triple4)] The cat chases the bald eagle.[(triple5)] The rabbit does not chase the bald eagle.[(triple6)] The rabbit does not visit the tiger.[(triple10)] The rabbit is kind.[(triple8)] The rabbit is not big.[(triple7)] The rabbit is round.[(triple9)] The tiger chases the rabbit.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is kind.[(triple13)] The tiger is nice.[(triple14)] The tiger is young.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The cat eats the bald eagle.[(((triple5) -> rule1))] @2: The cat does not chase the cat.[(((((triple5) -> rule1)) -> rule7))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
triple6
The rabbit does not visit the tiger.
("rabbit" "visits" "tiger" "-")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is not big.
("rabbit" "is" "big" "-")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple11
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat does not chase the cat.
("cat" "chases" "cat" "-")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
The cat does not chase the cat.
("cat" "chases" "cat" "-")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2