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