The bald eagle likes the dog. The bald eagle likes the mouse. The cat is young. The cat likes the bald eagle. The cat likes the mouse. The cat sees the mouse. The dog is big. The dog sees the bald eagle. The dog sees the mouse. The mouse eats the dog. The mouse is round. The mouse is young. The mouse likes the cat. The mouse likes the dog. The mouse sees the dog. All cold people are round. If the dog sees the bald eagle then the dog is cold. If someone eats the cat and they see the dog then the cat likes the dog. If someone likes the mouse and they see the bald eagle then the mouse is big. If someone is round and big then they see the cat. If someone eats the mouse then they are cold.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If the dog sees the bald eagle then the dog is cold.
((("dog" "sees" "bald eagle" "+")) -> ("dog" "is" "cold" "+"))
If someone eats the cat and they see the dog then the cat likes the dog.
((("someone" "eats" "cat" "+") ("someone" "sees" "dog" "+")) -> ("cat" "likes" "dog" "+"))
If someone likes the mouse and they see the bald eagle then the mouse is big.
((("someone" "likes" "mouse" "+") ("someone" "sees" "bald eagle" "+")) -> ("mouse" "is" "big" "+"))
If someone is round and big then they see the cat.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "cat" "+"))
If someone eats the mouse then they are cold.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "cold" "+"))
The mouse is round.
True
1
proof
[(triple11)]
("mouse" "is" "round" "+")
triple11
The cat is not young.
False
1
inv-proof
[(triple3)]
("cat" "is" "young" "-")
triple3
The dog is cold.
True
2
proof
[(((triple8) -> rule2))]
("dog" "is" "cold" "+")
((triple8) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple8) -> rule2))]
("dog" "is" "cold" "-")
((triple8) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is round.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("dog" "is" "round" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is not round.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("dog" "is" "round" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog sees the cat.
True
5
proof
[(((((((triple8) -> rule2)) -> rule1) triple7) -> rule5))]
("dog" "sees" "cat" "+")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog does not see the cat.
False
5
inv-proof
[(((((((triple8) -> rule2)) -> rule1) triple7) -> rule5))]
("dog" "sees" "cat" "-")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "cold" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "big" "+")
The mouse is not cold.
Unknown
inv-rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "cold" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "sees" "cat" "+")
The cat does not eat the mouse.
Unknown
inv-random
[@0: The cat eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "mouse" "-")
The cat eats the dog.
Unknown
random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The dog likes the mouse.
Unknown
random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the mouse.[(triple2)] The cat is young.[(triple3)] The cat likes the bald eagle.[(triple4)] The cat likes the mouse.[(triple5)] The cat sees the mouse.[(triple6)] The dog is big.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the mouse.[(triple9)] The mouse eats the dog.[(triple10)] The mouse is round.[(triple11)] The mouse is young.[(triple12)] The mouse likes the cat.[(triple13)] The mouse likes the dog.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog is cold.[(((triple8) -> rule2))] @2: The dog is round.[(((((triple8) -> rule2)) -> rule1))] @3: The dog sees the cat.[(((((((triple8) -> rule2)) -> rule1) triple7) -> rule5))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple9
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse is young.
("mouse" "is" "young" "+")
triple12
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple13
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The dog is cold.
("dog" "is" "cold" "+")
((triple8) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
((((((triple8) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3