The lion needs the tiger. The mouse is big. The rabbit is round. The tiger is green. If someone is big then they are green. All rough people are green. If someone needs the rabbit and they need the mouse then the mouse visits the rabbit.
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone needs the rabbit and they need the mouse then the mouse visits the rabbit.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "mouse" "+")) -> ("mouse" "visits" "rabbit" "+"))
The tiger is green.
True
1
proof
[(triple4)]
("tiger" "is" "green" "+")
triple4
The rabbit is not round.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "round" "-")
triple3
The mouse is green.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "is" "green" "+")
((triple2) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "is" "green" "-")
((triple2) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "green" "-")
The rabbit is green.
Unknown
rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "green" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
@0: The lion needs the tiger.[(triple1)] The mouse is big.[(triple2)] The rabbit is round.[(triple3)] The tiger is green.[(triple4)] @1: The mouse is green.[(((triple2) -> rule1))]
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
((triple2) -> (rule1 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1