The bald eagle visits the rabbit. The cat eats the rabbit. The cat sees the tiger. The rabbit does not eat the bald eagle. The rabbit eats the tiger. The rabbit is big. The rabbit is not cold. The rabbit is rough. The rabbit is young. The rabbit sees the cat. The rabbit visits the bald eagle. The rabbit does not visit the tiger. The tiger eats the cat. The tiger sees the bald eagle. The tiger does not visit the bald eagle. If something eats the rabbit then it sees the tiger. If something visits the cat then it is not rough. If the tiger is young and the tiger eats the bald eagle then the tiger does not visit the bald eagle. If the tiger sees the bald eagle then the tiger visits the cat. If something visits the bald eagle and it is not rough then it eats the cat. If something eats the cat and it does not eat the bald eagle then the cat is not young.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit does not visit the tiger.
("rabbit" "visits" "tiger" "-")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If something eats the rabbit then it sees the tiger.
((("something" "eats" "rabbit" "+")) -> ("something" "sees" "tiger" "+"))
If something visits the cat then it is not rough.
((("something" "visits" "cat" "+")) -> ("something" "is" "rough" "-"))
If the tiger is young and the tiger eats the bald eagle then the tiger does not visit the bald eagle.
((("tiger" "is" "young" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "visits" "bald eagle" "-"))
If the tiger sees the bald eagle then the tiger visits the cat.
((("tiger" "sees" "bald eagle" "+")) -> ("tiger" "visits" "cat" "+"))
If something visits the bald eagle and it is not rough then it eats the cat.
((("something" "visits" "bald eagle" "+") ("something" "is" "rough" "~")) -> ("something" "eats" "cat" "+"))
If something eats the cat and it does not eat the bald eagle then the cat is not young.
((("something" "eats" "cat" "+") ("something" "eats" "bald eagle" "~")) -> ("cat" "is" "young" "-"))
The cat sees the tiger.
True
1
proof
[(triple3 OR ((triple2) -> rule1))]
("cat" "sees" "tiger" "+")
triple3
((triple2) -> (rule1 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The tiger visits the bald eagle.
False
1
inv-proof
[(triple15)]
("tiger" "visits" "bald eagle" "+")
triple15
The tiger visits the cat.
True
2
proof
[(((triple14) -> rule4))]
("tiger" "visits" "cat" "+")
((triple14) -> (rule4 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The tiger does not visit the cat.
False
2
inv-proof
[(((triple14) -> rule4))]
("tiger" "visits" "cat" "-")
((triple14) -> (rule4 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The tiger is not rough.
True
3
proof
[(((((triple14) -> rule4)) -> rule2))]
("tiger" "is" "rough" "-")
((((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is not rough.
("tiger" "is" "rough" "-")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The tiger is rough.
False
3
inv-proof
[(((((triple14) -> rule4)) -> rule2))]
("tiger" "is" "rough" "+")
((((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is not rough.
("tiger" "is" "rough" "-")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
The rabbit does not eat the cat.
Unknown
inv-rconc
[@1: The rabbit eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "eats" "cat" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "cat" "+")
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The rabbit visits the cat.
Unknown
random
[@0: The rabbit visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cat" "+")
The tiger does not see the rabbit.
Unknown
inv-random
[@0: The tiger sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bald eagle visits the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat sees the tiger.[(triple3 OR ((triple2) -> rule1))] The rabbit does not eat the bald eagle.[(triple4)] The rabbit does not visit the tiger.[(triple12)] The rabbit eats the tiger.[(triple5)] The rabbit is big.[(triple6)] The rabbit is not cold.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is young.[(triple9)] The rabbit sees the cat.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The tiger does not visit the bald eagle.[(triple15)] The tiger eats the cat.[(triple13)] The tiger sees the bald eagle.[(triple14)] @1: The tiger visits the cat.[(((triple14) -> rule4))] @2: The tiger is not rough.[(((((triple14) -> rule4)) -> rule2))]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
((triple2) -> (rule1 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple4
The rabbit does not visit the tiger.
("rabbit" "visits" "tiger" "-")
triple12
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple5
The rabbit is big.
("rabbit" "is" "big" "+")
triple6
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple10
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple11
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple15
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
((triple14) -> (rule4 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The tiger is not rough.
("tiger" "is" "rough" "-")
((((triple14) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is not rough.
("tiger" "is" "rough" "-")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2