The bald eagle chases the dog. The bald eagle likes the cat. The bald eagle likes the dog. The bald eagle sees the mouse. The cat is kind. The cat likes the dog. The cat sees the bald eagle. The dog is big. The dog is green. The dog is rough. The dog is round. The dog sees the bald eagle. The mouse chases the bald eagle. The mouse is green. The mouse is kind. The mouse likes the cat. If something chases the dog then the dog likes the mouse. If something likes the mouse then the mouse likes the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
If something chases the dog then the dog likes the mouse.
((("something" "chases" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If something likes the mouse then the mouse likes the dog.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
The cat sees the bald eagle.
True
1
proof
[(triple7)]
("cat" "sees" "bald eagle" "+")
triple7
The dog is not green.
False
1
inv-proof
[(triple9)]
("dog" "is" "green" "-")
triple9
The dog likes the mouse.
True
2
proof
[(((triple1) -> rule1))]
("dog" "likes" "mouse" "+")
((triple1) -> (rule1 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog does not like the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "likes" "mouse" "-")
((triple1) -> (rule1 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The mouse likes the dog.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("mouse" "likes" "dog" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The mouse does not like the dog.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("mouse" "likes" "dog" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The cat chases the bald eagle.
Unknown
random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "+")
The cat does not chase the dog.
Unknown
inv-random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "-")
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 bald eagle does not see the dog.
Unknown
inv-random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cat is kind.[(triple5)] The cat likes the dog.[(triple6)] The cat sees the bald eagle.[(triple7)] The dog is big.[(triple8)] The dog is green.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog sees the bald eagle.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse is green.[(triple14)] The mouse is kind.[(triple15)] The mouse likes the cat.[(triple16)] @1: The dog likes the mouse.[(((triple1) -> rule1))] @2: The mouse likes the dog.[(((((triple1) -> rule1)) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple12
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple13
The mouse is green.
("mouse" "is" "green" "+")
triple14
The mouse is kind.
("mouse" "is" "kind" "+")
triple15
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple16
The dog likes the mouse.
("dog" "likes" "mouse" "+")
((triple1) -> (rule1 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The mouse likes the dog.
("mouse" "likes" "dog" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2