The bald eagle eats the rabbit. The bald eagle does not eat the tiger. The bald eagle is cold. The bald eagle is round. The bald eagle likes the rabbit. The bald eagle likes the tiger. The bald eagle needs the rabbit. The bald eagle needs the tiger. The rabbit is big. The rabbit is not blue. The rabbit is not nice. The tiger eats the bald eagle. The tiger eats the rabbit. The tiger likes the bald eagle. The tiger likes the rabbit. The tiger needs the bald eagle. If someone likes the bald eagle and they like the tiger then the tiger eats the rabbit. If someone eats the rabbit then the rabbit does not eat the tiger. If someone is round and they like the rabbit then the rabbit does not eat the tiger. If the rabbit is cold then the rabbit does not need the tiger. If someone eats the bald eagle and the bald eagle likes the rabbit then the rabbit is cold. If someone needs the rabbit and the rabbit likes the tiger then the rabbit does not need the bald eagle. If someone is big and they eat the rabbit then they need the bald eagle. If someone is round and nice then they like the tiger.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone likes the bald eagle and they like the tiger then the tiger eats the rabbit.
((("someone" "likes" "bald eagle" "+") ("someone" "likes" "tiger" "+")) -> ("tiger" "eats" "rabbit" "+"))
If someone eats the rabbit then the rabbit does not eat the tiger.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "tiger" "-"))
If someone is round and they like the rabbit then the rabbit does not eat the tiger.
((("someone" "is" "round" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "eats" "tiger" "-"))
If the rabbit is cold then the rabbit does not need the tiger.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "needs" "tiger" "-"))
If someone eats the bald eagle and the bald eagle likes the rabbit then the rabbit is cold.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If someone needs the rabbit and the rabbit likes the tiger then the rabbit does not need the bald eagle.
((("someone" "needs" "rabbit" "+") ("rabbit" "likes" "tiger" "+")) -> ("rabbit" "needs" "bald eagle" "-"))
If someone is big and they eat the rabbit then they need the bald eagle.
((("someone" "is" "big" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is round and nice then they like the tiger.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "tiger" "+"))
The bald eagle is round.
True
1
proof
[(triple4)]
("bald eagle" "is" "round" "+")
triple4
The tiger does not eat the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "bald eagle" "-")
triple12
The rabbit does not eat the tiger.
True
2
proof
[(((triple1) -> rule2) OR ((triple13) -> rule2) OR ((triple4 triple5) -> rule3))]
("rabbit" "eats" "tiger" "-")
((triple1) -> (rule2 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
((triple13) -> (rule2 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
((triple4 triple5) -> (rule3 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit eats the tiger.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple13) -> rule2) OR ((triple4 triple5) -> rule3))]
("rabbit" "eats" "tiger" "+")
((triple1) -> (rule2 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
((triple13) -> (rule2 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
((triple4 triple5) -> (rule3 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit does not need the tiger.
True
4
proof
[(((((triple12 triple5) -> rule5)) -> rule4))]
("rabbit" "needs" "tiger" "-")
((((triple12 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the tiger.
False
4
inv-proof
[(((((triple12 triple5) -> rule5)) -> rule4))]
("rabbit" "needs" "tiger" "+")
((((triple12 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
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 tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The rabbit does not like the tiger.
Unknown
inv-rconc
[@1: The rabbit likes the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "likes" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the rabbit.[(triple1)] The bald eagle is cold.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle needs the rabbit.[(triple7)] The bald eagle needs the tiger.[(triple8)] The rabbit is big.[(triple9)] The rabbit is not blue.[(triple10)] The rabbit is not nice.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the rabbit.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The rabbit does not eat the tiger.[(((triple1) -> rule2) OR ((triple13) -> rule2) OR ((triple4 triple5) -> rule3))] The rabbit is cold.[(((triple12 triple5) -> rule5))] @2: The rabbit does not need the tiger.[(((((triple12 triple5) -> rule5)) -> rule4))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple6
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple7
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple10
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple11
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple15
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple16
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
((triple1) -> (rule2 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
((triple13) -> (rule2 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
((triple4 triple5) -> (rule3 % int1))
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple12 triple5) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
((((triple12 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2