The bald eagle is big. The bald eagle is green. The bald eagle needs the mouse. The bald eagle visits the mouse. The cat is round. The cat likes the bald eagle. The cat visits the bald eagle. The cat visits the mouse. The cow is round. The cow likes the cat. The cow visits the bald eagle. The mouse is big. The mouse is blue. The mouse does not need the bald eagle. The mouse visits the bald eagle. If someone is red then they do not need the cow. If someone is big then they need the cat. If someone needs the cat then the cat is big. If someone visits the bald eagle and the bald eagle likes the cat then the cat needs the bald eagle. If someone needs the cat then they like the cow. If someone is blue and they need the bald eagle then the bald eagle is big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cat is round.
("cat" "is" "round" "+")
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 cow is round.
("cow" "is" "round" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone is red then they do not need the cow.
((("someone" "is" "red" "+")) -> ("someone" "needs" "cow" "-"))
If someone is big then they need the cat.
((("someone" "is" "big" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the cat then the cat is big.
((("someone" "needs" "cat" "+")) -> ("cat" "is" "big" "+"))
If someone visits the bald eagle and the bald eagle likes the cat then the cat needs the bald eagle.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "likes" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone needs the cat then they like the cow.
((("someone" "needs" "cat" "+")) -> ("someone" "likes" "cow" "+"))
If someone is blue and they need the bald eagle then the bald eagle is big.
((("someone" "is" "blue" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The cow is round.
True
1
proof
[(triple9)]
("cow" "is" "round" "+")
triple9
The mouse needs the bald eagle.
False
1
inv-proof
[(triple14)]
("mouse" "needs" "bald eagle" "+")
triple14
The mouse needs the cat.
True
2
proof
[(((triple12) -> rule2))]
("mouse" "needs" "cat" "+")
((triple12) -> (rule2 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The bald eagle does not need the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "needs" "cat" "-")
((triple1) -> (rule2 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The mouse likes the cow.
True
3
proof
[(((((triple12) -> rule2)) -> rule5))]
("mouse" "likes" "cow" "+")
((((triple12) -> (rule2 % int2))) -> (rule5 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2
The bald eagle does not like the cow.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule5))]
("bald eagle" "likes" "cow" "-")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cat needs the cat.
True
4
proof
[(((((((triple1) -> rule2)) -> rule3)) -> rule2) OR ((((((triple12) -> rule2)) -> rule3)) -> rule2))]
("cat" "needs" "cat" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int3
((((((triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int3
The cat does not need the cat.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule3)) -> rule2) OR ((((((triple12) -> rule2)) -> rule3)) -> rule2))]
("cat" "needs" "cat" "-")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int3
((((((triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int3
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The cow needs the cat.
Unknown
rconc
[@1: The cow needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cat" "+")
The cow does not like the cow.
Unknown
inv-rconc
[@2: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("cow" "likes" "cow" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The cow likes the mouse.
Unknown
random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the mouse.[(triple4)] The cat is round.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat visits the bald eagle.[(triple7)] The cat visits the mouse.[(triple8)] The cow is round.[(triple9)] The cow likes the cat.[(triple10)] The cow visits the bald eagle.[(triple11)] The mouse does not need the bald eagle.[(triple14)] The mouse is big.[(triple12)] The mouse is blue.[(triple13)] The mouse visits the bald eagle.[(triple15)] @1: The bald eagle needs the cat.[(((triple1) -> rule2))] The mouse needs the cat.[(((triple12) -> rule2))] @2: The bald eagle likes the cow.[(((((triple1) -> rule2)) -> rule5))] The cat is big.[(((((triple1) -> rule2)) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] The mouse likes the cow.[(((((triple12) -> rule2)) -> rule5))] @3: The cat needs the cat.[(((((((triple1) -> rule2)) -> rule3)) -> rule2) OR ((((((triple12) -> rule2)) -> rule3)) -> rule2))] @4: The cat likes the cow.[(((((((((triple1) -> rule2)) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule2)) -> rule5))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow likes the cat.
("cow" "likes" "cat" "+")
triple10
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple11
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple14
The mouse is big.
("mouse" "is" "big" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple15
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple1) -> (rule2 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
((triple12) -> (rule2 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
((((triple12) -> (rule2 % int2))) -> (rule5 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int3
((((((triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int3
The cat likes the cow.
("cat" "likes" "cow" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int4
((((((((triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int4