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