The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle does not need the cat. The cat is cold. The cat needs the mouse. The dog eats the mouse. The dog is kind. The dog is round. The dog likes the cat. The dog needs the bald eagle. The mouse is nice. The mouse does not like the bald eagle. The mouse likes the dog. If someone likes the dog then they eat the dog. If someone eats the dog then they eat the cat. Round people are nice. If someone eats the cat then the cat likes the dog. If someone needs the mouse and they do not eat the cat then they do not like the mouse.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If someone likes the dog then they eat the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the dog then they eat the cat.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "cat" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the cat then the cat likes the dog.
((("someone" "eats" "cat" "+")) -> ("cat" "likes" "dog" "+"))
If someone needs the mouse and they do not eat the cat then they do not like the mouse.
((("someone" "needs" "mouse" "+") ("someone" "eats" "cat" "~")) -> ("someone" "likes" "mouse" "-"))
The bald eagle is rough.
True
1
proof
[(triple3)]
("bald eagle" "is" "rough" "+")
triple3
The mouse likes the bald eagle.
False
1
inv-proof
[(triple13)]
("mouse" "likes" "bald eagle" "+")
triple13
The dog is nice.
True
2
proof
[(((triple9) -> rule3))]
("dog" "is" "nice" "+")
((triple9) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple9) -> rule3))]
("dog" "is" "nice" "-")
((triple9) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The mouse eats the cat.
True
3
proof
[(((((triple14) -> rule1)) -> rule2))]
("mouse" "eats" "cat" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The mouse does not eat the cat.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule2))]
("mouse" "eats" "cat" "-")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The cat likes the dog.
True
4
proof
[(((((((triple14) -> rule1)) -> rule2)) -> rule4))]
("cat" "likes" "dog" "+")
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int3
The cat does not like the dog.
False
4
inv-proof
[(((((((triple14) -> rule1)) -> rule2)) -> rule4))]
("cat" "likes" "dog" "-")
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int3
The cat eats the dog.
True
5
proof
[(((((((((triple14) -> rule1)) -> rule2)) -> rule4)) -> rule1))]
("cat" "eats" "dog" "+")
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int3
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int4
The cat does not eat the dog.
False
5
inv-proof
[(((((((((triple14) -> rule1)) -> rule2)) -> rule4)) -> rule1))]
("cat" "eats" "dog" "-")
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int3
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int4
The cat eats the cat.
True
6
proof
[(((((((((((triple14) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]
("cat" "eats" "cat" "+")
((((((((((triple14) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
int3
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int5
The cat does not eat the cat.
False
6
inv-proof
[(((((((((((triple14) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]
("cat" "eats" "cat" "-")
((((((((((triple14) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
int3
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog eats the cat.
Unknown
rconc
[@2: The dog eats the cat.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "eats" "cat" "+")
The bald eagle does not eat the dog.
Unknown
inv-rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "dog" "-")
The bald eagle eats the cat.
Unknown
rconc
[@2: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "nice" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The dog likes the mouse.
Unknown
random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "+")
The cat does not like the mouse.
Unknown
inv-random
[@0: The cat likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
@0: The bald eagle does not need the cat.[(triple4)] The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The cat is cold.[(triple5)] The cat needs the mouse.[(triple6)] The dog eats the mouse.[(triple7)] The dog is kind.[(triple8)] The dog is round.[(triple9)] The dog likes the cat.[(triple10)] The dog needs the bald eagle.[(triple11)] The mouse does not like the bald eagle.[(triple13)] The mouse is nice.[(triple12)] The mouse likes the dog.[(triple14)] @1: The dog is nice.[(((triple9) -> rule3))] The mouse eats the dog.[(((triple14) -> rule1))] @2: The mouse eats the cat.[(((((triple14) -> rule1)) -> rule2))] @3: The cat likes the dog.[(((((((triple14) -> rule1)) -> rule2)) -> rule4))] @4: The cat eats the dog.[(((((((((triple14) -> rule1)) -> rule2)) -> rule4)) -> rule1))] @5: The cat eats the cat.[(((((((((((triple14) -> rule1)) -> rule2)) -> rule4)) -> rule1)) -> rule2))]
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog likes the cat.
("dog" "likes" "cat" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
triple13
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple14
The dog is nice.
("dog" "is" "nice" "+")
((triple9) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
((triple14) -> (rule1 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int3
The cat eats the dog.
("cat" "eats" "dog" "+")
((((((((triple14) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int3
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int4
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((((((triple14) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
int2
The cat likes the dog.
("cat" "likes" "dog" "+")
int3
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int5