The bald eagle chases the cow. The bald eagle is blue. The bald eagle is green. The bald eagle is young. The cat sees the mouse. The cow chases the bald eagle. The cow chases the mouse. The cow likes the bald eagle. The cow likes the cat. The cow likes the mouse. The mouse is nice. The mouse likes the cat. If something likes the bald eagle and the bald eagle likes the cow then the cow sees the bald eagle. If something likes the bald eagle then it is green. If something is young then it likes the cow. If something is blue then it sees the cat. If something sees the mouse then it likes the cow. Blue things are young.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
If something likes the bald eagle and the bald eagle likes the cow then the cow sees the bald eagle.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If something likes the bald eagle then it is green.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something is young then it likes the cow.
((("something" "is" "young" "+")) -> ("something" "likes" "cow" "+"))
If something is blue then it sees the cat.
((("something" "is" "blue" "+")) -> ("something" "sees" "cat" "+"))
If something sees the mouse then it likes the cow.
((("something" "sees" "mouse" "+")) -> ("something" "likes" "cow" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
The cow likes the cat.
True
1
proof
[(triple9)]
("cow" "likes" "cat" "+")
triple9
The mouse is not nice.
False
1
inv-proof
[(triple11)]
("mouse" "is" "nice" "-")
triple11
The bald eagle sees the cat.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "sees" "cat" "+")
((triple2) -> (rule4 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat does not like the cow.
False
2
inv-proof
[(((triple5) -> rule5))]
("cat" "likes" "cow" "-")
((triple5) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "young" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "young" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is young.[(triple4 OR ((triple2) -> rule6))] The cat sees the mouse.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow chases the mouse.[(triple7)] The cow likes the bald eagle.[(triple8)] The cow likes the cat.[(triple9)] The cow likes the mouse.[(triple10)] The mouse is nice.[(triple11)] The mouse likes the cat.[(triple12)] @1: The bald eagle likes the cow.[(((triple4) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] The bald eagle sees the cat.[(((triple2) -> rule4))] The cat likes the cow.[(((triple5) -> rule5))] The cow is green.[(((triple8) -> rule2))] @2: The cow sees the bald eagle.[(((triple8 ((triple4) -> rule3)) -> rule1) OR ((triple8 ((((triple2) -> rule6)) -> rule3)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
((triple2) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple7
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple12
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((triple4) -> (rule3 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple2) -> (rule4 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
((triple5) -> (rule5 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((triple8) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple8 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
((triple8 ((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3