The bald eagle eats the bear. The bald eagle is big. The bald eagle is nice. The bald eagle likes the bear. The bear eats the bald eagle. The bear likes the bald eagle. The bear likes the cat. The bear visits the bald eagle. The bear visits the cat. The bear visits the mouse. The cat eats the mouse. The cat is big. The cat is blue. The cat likes the bald eagle. The mouse is rough. The mouse visits the cat. If someone eats the mouse then the mouse is blue. If someone eats the bear and they are blue then they visit the cat. If the cat is blue then the cat is big. If someone is blue then they eat the bald eagle. If someone eats the mouse and they visit the bald eagle then the mouse visits the cat. If someone is nice and green then they like the cat.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If someone eats the mouse then the mouse is blue.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone eats the bear and they are blue then they visit the cat.
((("someone" "eats" "bear" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "cat" "+"))
If the cat is blue then the cat is big.
((("cat" "is" "blue" "+")) -> ("cat" "is" "big" "+"))
If someone is blue then they eat the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the mouse and they visit the bald eagle then the mouse visits the cat.
((("someone" "eats" "mouse" "+") ("someone" "visits" "bald eagle" "+")) -> ("mouse" "visits" "cat" "+"))
If someone is nice and green then they like the cat.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "cat" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple14)]
("cat" "likes" "bald eagle" "+")
triple14
The bear does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "likes" "bald eagle" "-")
triple6
The cat eats the bald eagle.
True
2
proof
[(((triple13) -> rule4))]
("cat" "eats" "bald eagle" "+")
((triple13) -> (rule4 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple11) -> rule1))]
("mouse" "is" "blue" "-")
((triple11) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse eats the bald eagle.
True
3
proof
[(((((triple11) -> rule1)) -> rule4))]
("mouse" "eats" "bald eagle" "+")
((((triple11) -> (rule1 % int2))) -> (rule4 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse does not eat the bald eagle.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule4))]
("mouse" "eats" "bald eagle" "-")
((((triple11) -> (rule1 % int2))) -> (rule4 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the cat.[(triple7)] The bear visits the bald eagle.[(triple8)] The bear visits the cat.[(triple9)] The bear visits the mouse.[(triple10)] The cat eats the mouse.[(triple11)] The cat is big.[(triple12 OR ((triple13) -> rule3))] The cat is blue.[(triple13)] The cat likes the bald eagle.[(triple14)] The mouse is rough.[(triple15)] The mouse visits the cat.[(triple16)] @1: The cat eats the bald eagle.[(((triple13) -> rule4))] The mouse is blue.[(((triple11) -> rule1))] @2: The mouse eats the bald eagle.[(((((triple11) -> rule1)) -> rule4))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the cat.
("bear" "likes" "cat" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The bear visits the cat.
("bear" "visits" "cat" "+")
triple9
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple10
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple11
The cat is big.
("cat" "is" "big" "+")
triple12
((triple13) -> (rule3 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple13
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple14
The mouse is rough.
("mouse" "is" "rough" "+")
triple15
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple16
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple13) -> (rule4 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((((triple11) -> (rule1 % int2))) -> (rule4 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2