The bald eagle eats the rabbit. The bald eagle likes the rabbit. The bald eagle does not need the rabbit. The rabbit eats the bald eagle. The rabbit likes the bald eagle. The rabbit needs the tiger. The tiger eats the bald eagle. The tiger eats the rabbit. The tiger is kind. The tiger is not nice. The tiger is round. The tiger is young. The tiger likes the rabbit. The tiger needs the bald eagle. The tiger needs the rabbit. If something is kind and it does not eat the tiger then the tiger likes the rabbit. If something eats the bald eagle and it does not need the rabbit then the rabbit is nice. If the tiger eats the bald eagle then the bald eagle is kind. If the tiger likes the bald eagle then the tiger is not nice. If the tiger needs the rabbit and the rabbit is kind then the rabbit likes the bald eagle. If something eats the bald eagle and the bald eagle is young then it needs the tiger. If something likes the rabbit then it needs the bald eagle. If something is kind then it is cold.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something is kind and it does not eat the tiger then the tiger likes the rabbit.
((("something" "is" "kind" "+") ("something" "eats" "tiger" "~")) -> ("tiger" "likes" "rabbit" "+"))
If something eats the bald eagle and it does not need the rabbit then the rabbit is nice.
((("something" "eats" "bald eagle" "+") ("something" "needs" "rabbit" "~")) -> ("rabbit" "is" "nice" "+"))
If the tiger eats the bald eagle then the bald eagle is kind.
((("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If the tiger likes the bald eagle then the tiger is not nice.
((("tiger" "likes" "bald eagle" "+")) -> ("tiger" "is" "nice" "-"))
If the tiger needs the rabbit and the rabbit is kind then the rabbit likes the bald eagle.
((("tiger" "needs" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If something eats the bald eagle and the bald eagle is young then it needs the tiger.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("something" "needs" "tiger" "+"))
If something likes the rabbit then it needs the bald eagle.
((("something" "likes" "rabbit" "+")) -> ("something" "needs" "bald eagle" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
The bald eagle eats the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "eats" "rabbit" "+")
triple1
The tiger does not eat the rabbit.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "rabbit" "-")
triple8
The bald eagle needs the bald eagle.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "needs" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple7) -> rule3))]
("bald eagle" "is" "kind" "-")
((triple7) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle does not need the rabbit.[(triple3)] The bald eagle eats the rabbit.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The rabbit eats the bald eagle.[(triple4)] The rabbit likes the bald eagle.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger is kind.[(triple9)] The tiger is not nice.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger needs the bald eagle.[(triple14 OR ((triple13) -> rule7))] The tiger needs the rabbit.[(triple15)] @1: The bald eagle is kind.[(((triple7) -> rule3))] The bald eagle needs the bald eagle.[(((triple2) -> rule7))] The tiger is cold.[(((triple9) -> rule8))] @2: The bald eagle is cold.[(((((triple7) -> rule3)) -> rule8))]
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple6
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is not nice.
("tiger" "is" "nice" "-")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
((triple13) -> (rule7 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple15
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple7) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple9) -> (rule8 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule8 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2