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