The bald eagle is big. The bald eagle is green. The bald eagle sees the cat. The cat needs the bald eagle. The cat sees the rabbit. The rabbit eats the cat. The rabbit sees the bald eagle. If someone sees the rabbit then the rabbit sees the bald eagle. If the cat needs the bald eagle and the cat needs the rabbit then the bald eagle sees the rabbit. If someone is rough and kind then they see the rabbit. If someone needs the rabbit then the rabbit is kind. If someone eats the bald eagle and the bald eagle needs the cat then they need the rabbit. If the rabbit is rough then the rabbit sees the bald eagle. If the rabbit eats the cat then the rabbit needs the cat. If someone is rough then they are big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone sees the rabbit then the rabbit sees the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If the cat needs the bald eagle and the cat needs the rabbit then the bald eagle sees the rabbit.
((("cat" "needs" "bald eagle" "+") ("cat" "needs" "rabbit" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone is rough and kind then they see the rabbit.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone needs the rabbit then the rabbit is kind.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If someone eats the bald eagle and the bald eagle needs the cat then they need the rabbit.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "needs" "cat" "+")) -> ("someone" "needs" "rabbit" "+"))
If the rabbit is rough then the rabbit sees the bald eagle.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If the rabbit eats the cat then the rabbit needs the cat.
((("rabbit" "eats" "cat" "+")) -> ("rabbit" "needs" "cat" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple4)]
("cat" "needs" "bald eagle" "+")
triple4
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The rabbit needs the cat.
True
2
proof
[(((triple6) -> rule7))]
("rabbit" "needs" "cat" "+")
((triple6) -> (rule7 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit does not need the cat.
False
2
inv-proof
[(((triple6) -> rule7))]
("rabbit" "needs" "cat" "-")
((triple6) -> (rule7 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat needs the bald eagle.[(triple4)] The cat sees the rabbit.[(triple5)] The rabbit eats the cat.[(triple6)] The rabbit sees the bald eagle.[(triple7 OR ((triple5) -> rule1))] @1: The rabbit needs the cat.[(((triple6) -> rule7))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple5
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
((triple5) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
((triple6) -> (rule7 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1