The bald eagle needs the cow. The bald eagle visits the tiger. The cow is young. The cow needs the bald eagle. The cow needs the tiger. The rabbit likes the tiger. The tiger likes the cow. The tiger needs the bald eagle. The tiger needs the cow. The tiger visits the cow. If the rabbit needs the cow then the rabbit likes the cow. If something is kind then it likes the bald eagle. Red things are cold. If the cow is rough and the cow needs the tiger then the tiger is young. If something is young then it is rough. If the tiger needs the bald eagle and the bald eagle likes the cow then the cow likes the tiger.
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the rabbit needs the cow then the rabbit likes the cow.
((("rabbit" "needs" "cow" "+")) -> ("rabbit" "likes" "cow" "+"))
If something is kind then it likes the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "likes" "bald eagle" "+"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If the cow is rough and the cow needs the tiger then the tiger is young.
((("cow" "is" "rough" "+") ("cow" "needs" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If the tiger needs the bald eagle and the bald eagle likes the cow then the cow likes the tiger.
((("tiger" "needs" "bald eagle" "+") ("bald eagle" "likes" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
The tiger likes the cow.
True
1
proof
[(triple7)]
("tiger" "likes" "cow" "+")
triple7
The bald eagle does not visit the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "tiger" "-")
triple2
The cow is rough.
True
2
proof
[(((triple3) -> rule5))]
("cow" "is" "rough" "+")
((triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple3) -> rule5))]
("cow" "is" "rough" "-")
((triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The tiger is young.
True
4
proof
[(((((triple3) -> rule5) triple5) -> rule4))]
("tiger" "is" "young" "+")
((((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The tiger is not young.
False
4
inv-proof
[(((((triple3) -> rule5) triple5) -> rule4))]
("tiger" "is" "young" "-")
((((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The tiger is rough.
True
5
proof
[(((((((triple3) -> rule5) triple5) -> rule4)) -> rule5))]
("tiger" "is" "rough" "+")
((((((triple3) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The tiger is not rough.
False
5
inv-proof
[(((((((triple3) -> rule5) triple5) -> rule4)) -> rule5))]
("tiger" "is" "rough" "-")
((((((triple3) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "cold" "+")
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "rough" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
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 cow does not visit the rabbit.
Unknown
inv-random
[@0: The cow visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "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 needs the cow.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cow is young.[(triple3)] The cow needs the bald eagle.[(triple4)] The cow needs the tiger.[(triple5)] The rabbit likes the tiger.[(triple6)] The tiger likes the cow.[(triple7)] The tiger needs the bald eagle.[(triple8)] The tiger needs the cow.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cow is rough.[(((triple3) -> rule5))] @2: The tiger is young.[(((((triple3) -> rule5) triple5) -> rule4))] @3: The tiger is rough.[(((((((triple3) -> rule5) triple5) -> rule4)) -> rule5))]
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple6
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple7
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple8
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple9
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
((triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple3) -> (rule5 % int2)) triple5) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
((((((triple3) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3