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