The bald eagle is round. The bald eagle needs the rabbit. The bald eagle sees the cow. The bald eagle sees the mouse. The cow is kind. The cow is red. The cow is rough. The mouse sees the cow. The rabbit needs the cow. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit visits the cow. If someone sees the bald eagle then they need the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone sees the bald eagle then they need the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "needs" "rabbit" "+")
triple2
The cow is not red.
False
1
inv-proof
[(triple6)]
("cow" "is" "red" "-")
triple6
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cow is kind.[(triple5)] The cow is red.[(triple6)] The cow is rough.[(triple7)] The mouse sees the cow.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit needs the mouse.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit visits the cow.[(triple12)]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple8
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple9
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple12