The bald eagle is big. The bald eagle is round. The bald eagle likes the mouse. The bald eagle needs the dog. The bald eagle needs the mouse. The cat likes the dog. The cat visits the bald eagle. The dog is green. The mouse is kind. The mouse needs the dog. The mouse visits the cat. The mouse visits the dog. If someone needs the dog and the dog needs the cat then they visit the dog. Green people are big. If someone needs the dog then the dog needs the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone needs the dog and the dog needs the cat then they visit the dog.
((("someone" "needs" "dog" "+") ("dog" "needs" "cat" "+")) -> ("someone" "visits" "dog" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone needs the dog then the dog needs the cat.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "cat" "+"))
The dog is green.
True
1
proof
[(triple8)]
("dog" "is" "green" "+")
triple8
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The dog is big.
True
2
proof
[(((triple8) -> rule2))]
("dog" "is" "big" "+")
((triple8) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog does not need the cat.
False
2
inv-proof
[(((triple10) -> rule3) OR ((triple4) -> rule3))]
("dog" "needs" "cat" "-")
((triple10) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
((triple4) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The bald eagle visits the dog.
True
4
proof
[(((triple4 ((triple10) -> rule3)) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))]
("bald eagle" "visits" "dog" "+")
((triple4 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
The bald eagle does not visit the dog.
False
4
inv-proof
[(((triple4 ((triple10) -> rule3)) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))]
("bald eagle" "visits" "dog" "-")
((triple4 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "big" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "+")
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "dog" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The mouse does not need the cat.
Unknown
inv-random
[@0: The mouse needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "cat" "-")
The bald eagle visits the mouse.
Unknown
random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the mouse.[(triple5)] The cat likes the dog.[(triple6)] The cat visits the bald eagle.[(triple7)] The dog is green.[(triple8)] The mouse is kind.[(triple9)] The mouse needs the dog.[(triple10)] The mouse visits the cat.[(triple11)] The mouse visits the dog.[(triple12 OR ((triple10 ((triple10) -> rule3)) -> rule1) OR ((triple10 ((triple4) -> rule3)) -> rule1))] @1: The dog is big.[(((triple8) -> rule2))] The dog needs the cat.[(((triple10) -> rule3) OR ((triple4) -> rule3))] @2: The bald eagle visits the dog.[(((triple4 ((triple10) -> rule3)) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple10
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple11
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple12
((triple10 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
((triple10 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((triple8) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
((triple10) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
((triple4) -> (rule3 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((triple4 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2