The cow does not chase the squirrel. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit needs the squirrel. The squirrel visits the cow. The tiger chases the cow. The tiger chases the squirrel. The tiger is kind. The tiger visits the squirrel. If something visits the squirrel and it needs the squirrel then the squirrel chases the tiger. If the rabbit does not chase the squirrel then the rabbit is green. If something chases the squirrel and the squirrel chases the rabbit then it is young. If something is rough and it chases the rabbit then it is young. If something is rough then it does not need the cow. If something needs the cow then the cow visits the squirrel. If something needs the rabbit and it chases the rabbit then the rabbit is round. If the rabbit chases the tiger then the tiger is round.
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something visits the squirrel and it needs the squirrel then the squirrel chases the tiger.
((("something" "visits" "squirrel" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If the rabbit does not chase the squirrel then the rabbit is green.
((("rabbit" "chases" "squirrel" "~")) -> ("rabbit" "is" "green" "+"))
If something chases the squirrel and the squirrel chases the rabbit then it is young.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "rabbit" "+")) -> ("something" "is" "young" "+"))
If something is rough and it chases the rabbit then it is young.
((("something" "is" "rough" "+") ("something" "chases" "rabbit" "+")) -> ("something" "is" "young" "+"))
If something is rough then it does not need the cow.
((("something" "is" "rough" "+")) -> ("something" "needs" "cow" "-"))
If something needs the cow then the cow visits the squirrel.
((("something" "needs" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
If something needs the rabbit and it chases the rabbit then the rabbit is round.
((("something" "needs" "rabbit" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If the rabbit chases the tiger then the tiger is round.
((("rabbit" "chases" "tiger" "+")) -> ("tiger" "is" "round" "+"))
The squirrel visits the cow.
True
1
proof
[(triple6)]
("squirrel" "visits" "cow" "+")
triple6
The tiger is not kind.
False
1
inv-proof
[(triple9)]
("tiger" "is" "kind" "-")
triple9
The rabbit does not need the cow.
True
2
proof
[(((triple4) -> rule5))]
("rabbit" "needs" "cow" "-")
((triple4) -> (rule5 % int1))
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
int1
The rabbit needs the cow.
False
2
inv-proof
[(((triple4) -> rule5))]
("rabbit" "needs" "cow" "+")
((triple4) -> (rule5 % int1))
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
int1
The squirrel does not chase the tiger.
Unknown
inv-rconc
[@1: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "tiger" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "round" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The cow does not chase the squirrel.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the squirrel.[(triple5)] The squirrel visits the cow.[(triple6)] The tiger chases the cow.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger is kind.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The rabbit does not need the cow.[(((triple4) -> rule5))]
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple5
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
((triple4) -> (rule5 % int1))
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
int1