The rabbit is not young. The squirrel needs the rabbit. The tiger likes the rabbit. If something likes the rabbit then the rabbit is not rough. If something likes the squirrel and it is not green then the squirrel is round. If something is green and it likes the tiger then the tiger needs the squirrel.
The rabbit is not young.
("rabbit" "is" "young" "-")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If something likes the rabbit then the rabbit is not rough.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "rough" "-"))
If something likes the squirrel and it is not green then the squirrel is round.
((("something" "likes" "squirrel" "+") ("something" "is" "green" "~")) -> ("squirrel" "is" "round" "+"))
If something is green and it likes the tiger then the tiger needs the squirrel.
((("something" "is" "green" "+") ("something" "likes" "tiger" "+")) -> ("tiger" "needs" "squirrel" "+"))
The rabbit is not young.
True
1
proof
[(triple1)]
("rabbit" "is" "young" "-")
triple1
The rabbit is young.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "young" "+")
triple1
The rabbit is not rough.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "rough" "-")
((triple3) -> (rule1 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The rabbit is rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "-")
The tiger needs the squirrel.
Unknown
rconc
[@1: The tiger needs the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "needs" "squirrel" "+")
The rabbit does not like the tiger.
Unknown
inv-random
[@0: The rabbit likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "tiger" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The rabbit is not young.[(triple1)] The squirrel needs the rabbit.[(triple2)] The tiger likes the rabbit.[(triple3)] @1: The rabbit is not rough.[(((triple3) -> rule1))]
The rabbit is not young.
("rabbit" "is" "young" "-")
triple1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple3
The rabbit is not rough.
("rabbit" "is" "rough" "-")
((triple3) -> (rule1 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1