The bald eagle is cold. The lion visits the bald eagle. The rabbit is nice. The tiger eats the rabbit. If someone likes the bald eagle then they visit the rabbit. If someone is nice and they visit the tiger then the tiger likes the bald eagle. If someone is nice then they like the bald eagle. If someone visits the lion then the lion is red. If someone likes the tiger and the tiger visits the lion then they eat the rabbit. If someone eats the bald eagle and the bald eagle eats the lion then they visit the tiger.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If someone likes the bald eagle then they visit the rabbit.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone is nice and they visit the tiger then the tiger likes the bald eagle.
((("someone" "is" "nice" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "likes" "bald eagle" "+"))
If someone is nice then they like the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the lion then the lion is red.
((("someone" "visits" "lion" "+")) -> ("lion" "is" "red" "+"))
If someone likes the tiger and the tiger visits the lion then they eat the rabbit.
((("someone" "likes" "tiger" "+") ("tiger" "visits" "lion" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the bald eagle and the bald eagle eats the lion then they visit the tiger.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "lion" "+")) -> ("someone" "visits" "tiger" "+"))
The lion visits the bald eagle.
True
1
proof
[(triple2)]
("lion" "visits" "bald eagle" "+")
triple2
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The rabbit likes the bald eagle.
True
2
proof
[(((triple3) -> rule3))]
("rabbit" "likes" "bald eagle" "+")
((triple3) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule3))]
("rabbit" "likes" "bald eagle" "-")
((triple3) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit visits the rabbit.
True
3
proof
[(((((triple3) -> rule3)) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The rabbit does not visit the rabbit.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The rabbit visits the tiger.
Unknown
rconc
[@1: The rabbit visits the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "visits" "tiger" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
The rabbit does not visit the bald eagle.
Unknown
inv-random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle is cold.[(triple1)] The lion visits the bald eagle.[(triple2)] The rabbit is nice.[(triple3)] The tiger eats the rabbit.[(triple4)] @1: The rabbit likes the bald eagle.[(((triple3) -> rule3))] @2: The rabbit visits the rabbit.[(((((triple3) -> rule3)) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple3) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2