The bald eagle eats the cow. The bald eagle is blue. The bald eagle needs the mouse. The cow eats the bald eagle. The cow eats the mouse. The cow eats the tiger. The cow is big. The cow is blue. The cow likes the bald eagle. The cow likes the tiger. The mouse eats the tiger. The mouse needs the bald eagle. The mouse needs the cow. The tiger is big. The tiger needs the cow. If something likes the bald eagle then it likes the mouse. If the tiger needs the cow and the tiger eats the bald eagle then the tiger needs the bald eagle. If something likes the mouse and the mouse eats the tiger then the mouse is big.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If something likes the bald eagle then it likes the mouse.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "mouse" "+"))
If the tiger needs the cow and the tiger eats the bald eagle then the tiger needs the bald eagle.
((("tiger" "needs" "cow" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something likes the mouse and the mouse eats the tiger then the mouse is big.
((("something" "likes" "mouse" "+") ("mouse" "eats" "tiger" "+")) -> ("mouse" "is" "big" "+"))
The cow eats the mouse.
True
1
proof
[(triple5)]
("cow" "eats" "mouse" "+")
triple5
The cow does not eat the tiger.
False
1
inv-proof
[(triple6)]
("cow" "eats" "tiger" "-")
triple6
The cow likes the mouse.
True
2
proof
[(((triple9) -> rule1))]
("cow" "likes" "mouse" "+")
((triple9) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow does not like the mouse.
False
2
inv-proof
[(((triple9) -> rule1))]
("cow" "likes" "mouse" "-")
((triple9) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse is big.
True
4
proof
[(((((triple9) -> rule1) triple11) -> rule3))]
("mouse" "is" "big" "+")
((((triple9) -> (rule1 % int2)) triple11) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2
The mouse is not big.
False
4
inv-proof
[(((((triple9) -> rule1) triple11) -> rule3))]
("mouse" "is" "big" "-")
((((triple9) -> (rule1 % int2)) triple11) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2
The tiger does not need the bald eagle.
Unknown
inv-rconc
[@1: The tiger needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "bald eagle" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle needs the mouse.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the mouse.[(triple5)] The cow eats the tiger.[(triple6)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the tiger.[(triple10)] The mouse eats the tiger.[(triple11)] The mouse needs the bald eagle.[(triple12)] The mouse needs the cow.[(triple13)] The tiger is big.[(triple14)] The tiger needs the cow.[(triple15)] @1: The cow likes the mouse.[(((triple9) -> rule1))] @2: The mouse is big.[(((((triple9) -> rule1) triple11) -> rule3))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple10
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple11
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple12
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple14
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple15
The cow likes the mouse.
("cow" "likes" "mouse" "+")
((triple9) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((((triple9) -> (rule1 % int2)) triple11) -> (rule3 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2