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