The bald eagle is rough. The bald eagle visits the rabbit. The bald eagle visits the tiger. The lion is not round. The lion visits the bald eagle. The lion visits the rabbit. The rabbit is not rough. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is cold. If something sees the rabbit and the rabbit visits the tiger then the rabbit visits the lion. If something is cold then it visits the rabbit. If something visits the rabbit then it eats the lion.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something sees the rabbit and the rabbit visits the tiger then the rabbit visits the lion.
((("something" "sees" "rabbit" "+") ("rabbit" "visits" "tiger" "+")) -> ("rabbit" "visits" "lion" "+"))
If something is cold then it visits the rabbit.
((("something" "is" "cold" "+")) -> ("something" "visits" "rabbit" "+"))
If something visits the rabbit then it eats the lion.
((("something" "visits" "rabbit" "+")) -> ("something" "eats" "lion" "+"))
The lion visits the bald eagle.
True
1
proof
[(triple5)]
("lion" "visits" "bald eagle" "+")
triple5
The rabbit is rough.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "rough" "+")
triple7
The lion eats the lion.
True
2
proof
[(((triple6) -> rule3))]
("lion" "eats" "lion" "+")
((triple6) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple6) -> rule3))]
("lion" "eats" "lion" "-")
((triple6) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The rabbit does not visit the lion.
Unknown
inv-rconc
[@1: The rabbit visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "lion" "-")
The rabbit eats the lion.
Unknown
rconc
[@2: The rabbit eats the lion.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("rabbit" "eats" "lion" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The lion eats the bald eagle.
Unknown
random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The bald eagle visits the tiger.[(triple3)] The lion is not round.[(triple4)] The lion visits the bald eagle.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit is not rough.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is cold.[(triple10)] @1: The bald eagle eats the lion.[(((triple2) -> rule3))] The lion eats the lion.[(((triple6) -> rule3))] The tiger visits the rabbit.[(((triple10) -> rule2))] @2: The tiger eats the lion.[(((((triple10) -> rule2)) -> rule3))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The lion is not round.
("lion" "is" "round" "-")
triple4
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple5
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple6
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple7
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple8
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple6) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
((triple10) -> (rule2 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int2