The bald eagle needs the mouse. The cow is big. The cow is green. The cow is kind. The cow is young. The cow visits the bald eagle. The cow visits the rabbit. The mouse is kind. The mouse needs the bald eagle. The mouse needs the cow. The mouse visits the bald eagle. The mouse visits the rabbit. The rabbit needs the cow. The rabbit needs the mouse. The rabbit visits the cow. If something visits the mouse and the mouse visits the cow then the mouse chases the rabbit. If the bald eagle needs the cow and the cow chases the mouse then the bald eagle visits the rabbit. If something is young and green then it visits the bald eagle. If the bald eagle visits the mouse then the mouse chases the rabbit. If something is kind then it is young. If the mouse chases the rabbit and the mouse chases the cow then the cow chases the rabbit.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something visits the mouse and the mouse visits the cow then the mouse chases the rabbit.
((("something" "visits" "mouse" "+") ("mouse" "visits" "cow" "+")) -> ("mouse" "chases" "rabbit" "+"))
If the bald eagle needs the cow and the cow chases the mouse then the bald eagle visits the rabbit.
((("bald eagle" "needs" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If something is young and green then it visits the bald eagle.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "visits" "bald eagle" "+"))
If the bald eagle visits the mouse then the mouse chases the rabbit.
((("bald eagle" "visits" "mouse" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If the mouse chases the rabbit and the mouse chases the cow then the cow chases the rabbit.
((("mouse" "chases" "rabbit" "+") ("mouse" "chases" "cow" "+")) -> ("cow" "chases" "rabbit" "+"))
The mouse is kind.
True
1
proof
[(triple8)]
("mouse" "is" "kind" "+")
triple8
The mouse is not kind.
False
1
inv-proof
[(triple8)]
("mouse" "is" "kind" "-")
triple8
The mouse is young.
True
2
proof
[(((triple8) -> rule5))]
("mouse" "is" "young" "+")
((triple8) -> (rule5 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple8) -> rule5))]
("mouse" "is" "young" "-")
((triple8) -> (rule5 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "young" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle needs the mouse.[(triple1)] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5 OR ((triple4) -> rule5))] The cow visits the bald eagle.[(triple6 OR ((triple5 triple3) -> rule3) OR ((((triple4) -> rule5) triple3) -> rule3))] The cow visits the rabbit.[(triple7)] The mouse is kind.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse needs the cow.[(triple10)] The mouse visits the bald eagle.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The mouse is young.[(((triple8) -> rule5))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
((triple4) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
((triple5 triple3) -> (rule3 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
((((triple4) -> (rule5 % int2)) triple3) -> (rule3 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple10
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple11
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple12
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple13
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
The mouse is young.
("mouse" "is" "young" "+")
((triple8) -> (rule5 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1