The bald eagle is red. The lion is big. The lion visits the bald eagle. The mouse eats the rabbit. The rabbit is red. The rabbit sees the lion. The rabbit visits the bald eagle. If someone sees the lion and they see the mouse then they are big. If someone is big then they visit the rabbit.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The lion is big.
("lion" "is" "big" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone sees the lion and they see the mouse then they are big.
((("someone" "sees" "lion" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they visit the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "visits" "rabbit" "+"))
The rabbit is red.
True
1
proof
[(triple5)]
("rabbit" "is" "red" "+")
triple5
The lion is not big.
False
1
inv-proof
[(triple2)]
("lion" "is" "big" "-")
triple2
The lion visits the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("lion" "visits" "rabbit" "+")
((triple2) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion does not visit the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("lion" "visits" "rabbit" "-")
((triple2) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@2: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The mouse visits the rabbit.
Unknown
rconc
[@2: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("mouse" "visits" "rabbit" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bald eagle is red.[(triple1)] The lion is big.[(triple2)] The lion visits the bald eagle.[(triple3)] The mouse eats the rabbit.[(triple4)] The rabbit is red.[(triple5)] The rabbit sees the lion.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The lion visits the rabbit.[(((triple2) -> rule2))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
((triple2) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1