The bald eagle sees the dog. The bald eagle sees the mouse. The dog chases the bald eagle. The dog chases the tiger. The dog is blue. The dog visits the mouse. The mouse chases the dog. The mouse sees the bald eagle. The mouse visits the dog. The tiger chases the dog. The tiger sees the dog. The tiger visits the dog. If the bald eagle is rough then the bald eagle visits the mouse. If something visits the mouse then the mouse visits the tiger. If the dog visits the bald eagle then the dog chases the tiger. If something chases the dog then it is rough. If something sees the mouse and it chases the mouse then the mouse is not rough. If something chases the bald eagle and the bald eagle visits the dog then it sees the mouse. If something sees the mouse then it chases the dog. If something is rough then it visits the dog.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If the bald eagle is rough then the bald eagle visits the mouse.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something visits the mouse then the mouse visits the tiger.
((("something" "visits" "mouse" "+")) -> ("mouse" "visits" "tiger" "+"))
If the dog visits the bald eagle then the dog chases the tiger.
((("dog" "visits" "bald eagle" "+")) -> ("dog" "chases" "tiger" "+"))
If something chases the dog then it is rough.
((("something" "chases" "dog" "+")) -> ("something" "is" "rough" "+"))
If something sees the mouse and it chases the mouse then the mouse is not rough.
((("something" "sees" "mouse" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "is" "rough" "-"))
If something chases the bald eagle and the bald eagle visits the dog then it sees the mouse.
((("something" "chases" "bald eagle" "+") ("bald eagle" "visits" "dog" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the mouse then it chases the dog.
((("something" "sees" "mouse" "+")) -> ("something" "chases" "dog" "+"))
If something is rough then it visits the dog.
((("something" "is" "rough" "+")) -> ("something" "visits" "dog" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple8)]
("mouse" "sees" "bald eagle" "+")
triple8
The tiger does not chase the dog.
False
1
inv-proof
[(triple10)]
("tiger" "chases" "dog" "-")
triple10
The bald eagle chases the dog.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "chases" "dog" "+")
((triple2) -> (rule7 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple10) -> rule4))]
("tiger" "is" "rough" "-")
((triple10) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle is rough.
True
3
proof
[(((((triple2) -> rule7)) -> rule4))]
("bald eagle" "is" "rough" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
The bald eagle is not rough.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule4))]
("bald eagle" "is" "rough" "-")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
The bald eagle visits the mouse.
True
4
proof
[(((((((triple2) -> rule7)) -> rule4)) -> rule1))]
("bald eagle" "visits" "mouse" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int3
The bald eagle does not visit the mouse.
False
4
inv-proof
[(((((((triple2) -> rule7)) -> rule4)) -> rule1))]
("bald eagle" "visits" "mouse" "-")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int3
The dog sees the mouse.
True
6
proof
[(((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
("dog" "sees" "mouse" "+")
((triple3 ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int4
The dog does not see the mouse.
False
6
inv-proof
[(((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
("dog" "sees" "mouse" "-")
((triple3 ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int4
The dog chases the dog.
True
7
proof
[(((((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6)) -> rule7))]
("dog" "chases" "dog" "+")
((((triple3 ((((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int5
The dog does not chase the dog.
False
7
inv-proof
[(((((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6)) -> rule7))]
("dog" "chases" "dog" "-")
((((triple3 ((((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int5
The tiger does not see the mouse.
Unknown
inv-rconc
[@1: The tiger sees the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "sees" "mouse" "-")
The mouse sees the mouse.
Unknown
rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "sees" "mouse" "+")
The dog does not chase the mouse.
Unknown
inv-random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "-")
The mouse chases the tiger.
Unknown
random
[@0: The mouse chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "tiger" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The dog does not see the bald eagle.
Unknown
inv-random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the mouse.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog chases the tiger.[(triple4)] The dog is blue.[(triple5)] The dog visits the mouse.[(triple6)] The mouse chases the dog.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse visits the dog.[(triple9 OR ((((triple7) -> rule4)) -> rule8))] The tiger chases the dog.[(triple10)] The tiger sees the dog.[(triple11)] The tiger visits the dog.[(triple12 OR ((((triple10) -> rule4)) -> rule8))] @1: The bald eagle chases the dog.[(((triple2) -> rule7))] The mouse is rough.[(((triple7) -> rule4))] The mouse visits the tiger.[(((triple6) -> rule2) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule1)) -> rule2))] The tiger is rough.[(((triple10) -> rule4))] @2: The bald eagle is rough.[(((((triple2) -> rule7)) -> rule4))] @3: The bald eagle visits the dog.[(((((((triple2) -> rule7)) -> rule4)) -> rule8))] The bald eagle visits the mouse.[(((((((triple2) -> rule7)) -> rule4)) -> rule1))] @4: The dog sees the mouse.[(((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6))] @5: The dog chases the dog.[(((((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6)) -> rule7))] @6: The dog is rough.[(((((((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6)) -> rule7)) -> rule4))] @7: The dog visits the dog.[(((((((((triple3 ((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule8))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple8
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple9
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple10
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple11
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple12
((((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple2) -> (rule7 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple7) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
((triple6) -> (rule2 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
((triple10) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
((triple3 ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple3 ((((((triple2) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int4
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int5
The dog is rough.
("dog" "is" "rough" "+")
((((((triple3 ((((((triple2) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int5
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int6
The dog visits the dog.
("dog" "visits" "dog" "+")
((((((((triple3 ((((((triple2) -> (rule7 % int7))) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int6
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int7