The bald eagle eats the dog. The bald eagle is green. The bear chases the bald eagle. The bear chases the mouse. The bear is round. The bear visits the bald eagle. The dog is cold. The dog is nice. The mouse chases the dog. The mouse eats the bear. If someone visits the dog then they chase the bear. If someone chases the bear then the bear is rough. If someone chases the mouse then the mouse visits the dog. If someone visits the dog then the dog chases the mouse. If someone is rough and they chase the mouse then they visit the dog. If someone visits the dog then the dog visits the bear.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
If someone visits the dog then they chase the bear.
((("someone" "visits" "dog" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the bear then the bear is rough.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "rough" "+"))
If someone chases the mouse then the mouse visits the dog.
((("someone" "chases" "mouse" "+")) -> ("mouse" "visits" "dog" "+"))
If someone visits the dog then the dog chases the mouse.
((("someone" "visits" "dog" "+")) -> ("dog" "chases" "mouse" "+"))
If someone is rough and they chase the mouse then they visit the dog.
((("someone" "is" "rough" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog then the dog visits the bear.
((("someone" "visits" "dog" "+")) -> ("dog" "visits" "bear" "+"))
The bald eagle is green.
True
1
proof
[(triple2)]
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not green.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "green" "-")
triple2
The mouse visits the dog.
True
2
proof
[(((triple4) -> rule3))]
("mouse" "visits" "dog" "+")
((triple4) -> (rule3 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse does not visit the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("mouse" "visits" "dog" "-")
((triple4) -> (rule3 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog chases the mouse.
True
3
proof
[(((((triple4) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5)) -> rule4))]
("dog" "chases" "mouse" "+")
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
((((((((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int5
The mouse does not chase the bear.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule1))]
("mouse" "chases" "bear" "-")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
The bear is rough.
True
4
proof
[(((((((triple4) -> rule3)) -> rule1)) -> rule2))]
("bear" "is" "rough" "+")
((((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int3
The bear is not rough.
False
4
inv-proof
[(((((((triple4) -> rule3)) -> rule1)) -> rule2))]
("bear" "is" "rough" "-")
((((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int3
The bear visits the dog.
True
6
proof
[(((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5))]
("bear" "visits" "dog" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int4
The bear does not visit the dog.
False
6
inv-proof
[(((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5))]
("bear" "visits" "dog" "-")
((((((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int4
The bear chases the bear.
True
7
proof
[(((((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5)) -> rule1))]
("bear" "chases" "bear" "+")
((((((((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int5
The bear does not chase the bear.
False
7
inv-proof
[(((((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5)) -> rule1))]
("bear" "chases" "bear" "-")
((((((((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int5
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "visits" "dog" "-")
The bald eagle visits the dog.
Unknown
rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "dog" "+")
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@2: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The dog chases the bear.
Unknown
rconc
[@2: The dog chases the bear.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("dog" "chases" "bear" "+")
The bear does not visit the mouse.
Unknown
inv-random
[@0: The bear visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "mouse" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle chases the dog.
Unknown
random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is green.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the mouse.[(triple4)] The bear is round.[(triple5)] The bear visits the bald eagle.[(triple6)] The dog is cold.[(triple7)] The dog is nice.[(triple8)] The mouse chases the dog.[(triple9)] The mouse eats the bear.[(triple10)] @1: The mouse visits the dog.[(((triple4) -> rule3))] @2: The dog chases the mouse.[(((((triple4) -> rule3)) -> rule4) OR ((((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5)) -> rule4))] The dog visits the bear.[(((((triple4) -> rule3)) -> rule6) OR ((((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5)) -> rule6))] The mouse chases the bear.[(((((triple4) -> rule3)) -> rule1))] @3: The bear is rough.[(((((((triple4) -> rule3)) -> rule1)) -> rule2))] @4: The bear visits the dog.[(((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5))] @5: The bear chases the bear.[(((((((((((triple4) -> rule3)) -> rule1)) -> rule2) triple4) -> rule5)) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple10
The mouse visits the dog.
("mouse" "visits" "dog" "+")
((triple4) -> (rule3 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
((((((((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int5
The dog visits the bear.
("dog" "visits" "bear" "+")
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
((((((((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
((((((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int3
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int4
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((((((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int4
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int5