The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle is kind. The cow chases the mouse. The cow is round. The mouse is kind. The mouse is not round. The mouse likes the cow. The tiger does not chase the mouse. The tiger is rough. The tiger likes the mouse. The tiger needs the bald eagle. If someone chases the cow then the cow needs the tiger. If the mouse needs the cow then the mouse is not rough. If someone likes the tiger and they like the cow then the cow does not like the tiger. If someone chases the bald eagle then the bald eagle is cold. If someone needs the tiger then they like the bald eagle. If the bald eagle likes the tiger then the tiger needs the mouse. If someone is cold then they chase the tiger. If someone needs the tiger then they chase the bald eagle. If someone chases the tiger then the tiger is round.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is round.
("cow" "is" "round" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone chases the cow then the cow needs the tiger.
((("someone" "chases" "cow" "+")) -> ("cow" "needs" "tiger" "+"))
If the mouse needs the cow then the mouse is not rough.
((("mouse" "needs" "cow" "+")) -> ("mouse" "is" "rough" "-"))
If someone likes the tiger and they like the cow then the cow does not like the tiger.
((("someone" "likes" "tiger" "+") ("someone" "likes" "cow" "+")) -> ("cow" "likes" "tiger" "-"))
If someone chases the bald eagle then the bald eagle is cold.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone needs the tiger then they like the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the bald eagle likes the tiger then the tiger needs the mouse.
((("bald eagle" "likes" "tiger" "+")) -> ("tiger" "needs" "mouse" "+"))
If someone is cold then they chase the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "tiger" "+"))
If someone needs the tiger then they chase the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the tiger then the tiger is round.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "round" "+"))
The mouse likes the cow.
True
1
proof
[(triple8)]
("mouse" "likes" "cow" "+")
triple8
The tiger chases the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "chases" "mouse" "+")
triple9
The cow needs the tiger.
True
2
proof
[(((triple1) -> rule1))]
("cow" "needs" "tiger" "+")
((triple1) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow does not need the tiger.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "needs" "tiger" "-")
((triple1) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow chases the bald eagle.
True
3
proof
[(((((triple1) -> rule1)) -> rule8))]
("cow" "chases" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow does not chase the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule8))]
("cow" "chases" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The bald eagle is cold.
True
4
proof
[(((((((triple1) -> rule1)) -> rule8)) -> rule4))]
("bald eagle" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int3
The bald eagle is not cold.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule8)) -> rule4))]
("bald eagle" "is" "cold" "-")
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int3
The bald eagle chases the tiger.
True
5
proof
[(((((((((triple1) -> rule1)) -> rule8)) -> rule4)) -> rule7))]
("bald eagle" "chases" "tiger" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int3
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int4
The bald eagle does not chase the tiger.
False
5
inv-proof
[(((((((((triple1) -> rule1)) -> rule8)) -> rule4)) -> rule7))]
("bald eagle" "chases" "tiger" "-")
((((((((triple1) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int3
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int4
The tiger is round.
True
6
proof
[(((((((((((triple1) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule9))]
("tiger" "is" "round" "+")
((((((((((triple1) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int5
The tiger is not round.
False
6
inv-proof
[(((((((((((triple1) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule9))]
("tiger" "is" "round" "-")
((((((((((triple1) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int5
The cow does not chase the tiger.
Unknown
inv-rconc
[@1: The cow chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "chases" "tiger" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The mouse does not chase the tiger.
Unknown
inv-rconc
[@1: The mouse chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "chases" "tiger" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The mouse likes the bald eagle.
Unknown
rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "bald eagle" "+")
The mouse does not need the cow.
Unknown
inv-random
[@0: The mouse needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "cow" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle needs the tiger.
Unknown
random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The cow needs the mouse.
Unknown
random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The cow chases the mouse.[(triple4)] The cow is round.[(triple5)] The mouse is kind.[(triple6)] The mouse is not round.[(triple7)] The mouse likes the cow.[(triple8)] The tiger does not chase the mouse.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The cow needs the tiger.[(((triple1) -> rule1))] @2: The cow chases the bald eagle.[(((((triple1) -> rule1)) -> rule8))] The cow likes the bald eagle.[(((((triple1) -> rule1)) -> rule5))] @3: The bald eagle is cold.[(((((((triple1) -> rule1)) -> rule8)) -> rule4))] @4: The bald eagle chases the tiger.[(((((((((triple1) -> rule1)) -> rule8)) -> rule4)) -> rule7))] @5: The tiger is round.[(((((((((((triple1) -> rule1)) -> rule8)) -> rule4)) -> rule7)) -> rule9))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is not round.
("mouse" "is" "round" "-")
triple7
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple8
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple11
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple12
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((triple1) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int3
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
((((((((((triple1) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int5