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