The bald eagle is rough. The bald eagle is young. The rabbit eats the bald eagle. The rabbit is cold. The rabbit is round. The rabbit visits the tiger. The tiger needs the bald eagle. If someone is cold and round then they visit the bald eagle. If someone needs the bald eagle then they visit the tiger. If the bald eagle is blue then the bald eagle needs the tiger. If someone is rough and they need the tiger then they visit the rabbit. If someone needs the rabbit and they eat the tiger then they need the tiger. If someone visits the tiger then they are blue. If someone is blue then they visit the bald eagle. If someone eats the rabbit and the rabbit is rough then the rabbit eats the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone is cold and round then they visit the bald eagle.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone needs the bald eagle then they visit the tiger.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If the bald eagle is blue then the bald eagle needs the tiger.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If someone is rough and they need the tiger then they visit the rabbit.
((("someone" "is" "rough" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone needs the rabbit and they eat the tiger then they need the tiger.
((("someone" "needs" "rabbit" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "needs" "tiger" "+"))
If someone visits the tiger then they are blue.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone eats the rabbit and the rabbit is rough then the rabbit eats the bald eagle.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple7)]
("tiger" "needs" "bald eagle" "-")
triple7
The tiger visits the tiger.
True
2
proof
[(((triple7) -> rule2))]
("tiger" "visits" "tiger" "+")
((triple7) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The rabbit does not visit the bald eagle.
False
3
inv-proof
[(((triple4 triple5) -> rule1) OR ((((triple6) -> rule6)) -> rule7))]
("rabbit" "visits" "bald eagle" "-")
((triple4 triple5) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The tiger is blue.
True
3
proof
[(((((triple7) -> rule2)) -> rule6))]
("tiger" "is" "blue" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger is not blue.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule6))]
("tiger" "is" "blue" "-")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger visits the bald eagle.
True
4
proof
[(((((((triple7) -> rule2)) -> rule6)) -> rule7))]
("tiger" "visits" "bald eagle" "+")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The tiger does not visit the bald eagle.
False
4
inv-proof
[(((((((triple7) -> rule2)) -> rule6)) -> rule7))]
("tiger" "visits" "bald eagle" "-")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@3: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@3: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule2 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The bald eagle visits the rabbit.
Unknown
rconc
[@4: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- rule2 <- FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The tiger does not need the rabbit.
Unknown
inv-random
[@0: The tiger needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "rabbit" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The rabbit eats the bald eagle.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is round.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The rabbit is blue.[(((triple6) -> rule6))] The rabbit visits the bald eagle.[(((triple4 triple5) -> rule1) OR ((((triple6) -> rule6)) -> rule7))] The tiger visits the tiger.[(((triple7) -> rule2))] @2: The tiger is blue.[(((((triple7) -> rule2)) -> rule6))] @3: The tiger visits the bald eagle.[(((((((triple7) -> rule2)) -> rule6)) -> rule7))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple3
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple6
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple6) -> (rule6 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple4 triple5) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple7) -> (rule2 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3