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